module type Domain = sig .. end
sig
end
include Abstract_domain.Lattice
include Datatype.S_with_collections
include Abstract_domain.Interface