Module V.I

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