Module type Iteration.DomainPlus

module type DomainPlus = sig .. end

include Iteration.Domain

val closure_plus : 'a t -> 'a Syntax.formula