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