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