Module V.I

val (<:>) : Float.Additive.Loop.t -> Float.Additive.Loop.t -> Float.Additive.Loop.t