Module V.I

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