V.I
val (<:>) : Int.Additive.Medial_Magma.t -> Int.Additive.Medial_Magma.t -> Int.Additive.Medial_Magma.t