module type DomainPlus = sig .. end
sig
end
include Iteration.Domain
val closure_plus : 'a t -> 'a Syntax.formula
'a t -> 'a Syntax.formula