Module Infix.Conjunctive
include sig ... end
val (<:>) : Conjunctive.Magma.t -> Conjunctive.Magma.t -> Conjunctive.Magma.t
Infix.Conjunctiveinclude sig ... endval (<:>) : Conjunctive.Magma.t -> Conjunctive.Magma.t -> Conjunctive.Magma.t