Module Bool.Conjunctive

module Semigroup : sig ... end
module Monoid : sig ... end