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