module type Domain = sig .. end
sig
end
include Datatype.S_with_collections
include Abstract_domain.Recycle