module type Internal = sig .. end
sig
end
include Abstract_domain.S
val structure : t structure
t structure