Module Conjunctive.Semigroup

type t = Bool.Conjunctive.Semigroup.t option
val append : t -> t -> t