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