V.I
val (<:>) : Bool.Conjunctive.Semigroup.t -> Bool.Conjunctive.Semigroup.t -> Bool.Conjunctive.Semigroup.t