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