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