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