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