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