Module V.I

val (<:>) : Int.Multiplicative.Loop.t -> Int.Multiplicative.Loop.t -> Int.Multiplicative.Loop.t