Module Iteration.WedgeVectorOCRS

module WedgeVectorOCRS: DomainPlus 

include Iteration.Domain
val closure_plus : 'a t -> 'a Syntax.formula