V.I
val (<:>) : Int.Multiplicative.Monoid.t -> Int.Multiplicative.Monoid.t -> Int.Multiplicative.Monoid.t