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