Module V.I

val (<:>) : Int.Additive.Quasigroup.t -> Int.Additive.Quasigroup.t -> Int.Additive.Quasigroup.t