Module `Bastet__Bool.Conjunctive`

module Magma : Bastet.Interface.MAGMA with type t = bool

module Medial_Magma : Bastet.Interface.MEDIAL_MAGMA with type t = bool

module Semigroup : Bastet.Interface.SEMIGROUP with type t = bool

module Monoid : Bastet.Interface.MONOID with type t = bool