Module Bool.Disjunctive

module Magma : Interface.MAGMA with type t = bool
module Medial_Magma : Interface.MEDIAL_MAGMA with type t = bool
module Semigroup : Interface.SEMIGROUP with type t = bool
module Monoid : Interface.MONOID with type t = bool