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