Module Bool.Disjunctive

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