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