Module V.I

val (<:>) : Bastet.Bool.Disjunctive.Monoid.t -> Bastet.Bool.Disjunctive.Monoid.t -> Bastet.Bool.Disjunctive.Monoid.t