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