Module Bastet.Bool

module Conjunctive : sig ... end
module Disjunctive : sig ... end
module Eq : Interface.EQ with type t = bool
module Ord : Interface.ORD with type t = bool
module Bounded : Interface.BOUNDED with type t = bool
module Join_Semilattice : Interface.JOIN_SEMILATTICE with type t = bool
module Meet_Semilattice : Interface.MEET_SEMILATTICE with type t = bool
module Bounded_Join_Semilattice : Interface.BOUNDED_JOIN_SEMILATTICE with type t = bool
module Bounded_Meet_Semilattice : Interface.BOUNDED_MEET_SEMILATTICE with type t = bool
module Lattice : Interface.LATTICE with type t = bool
module Bounded_Lattice : Interface.BOUNDED_LATTICE with type t = bool
module Distributive_Lattice : Interface.DISTRIBUTIVE_LATTICE with type t = bool
module Bounded_Distributive_Lattice : Interface.BOUNDED_DISTRIBUTIVE_LATTICE with type t = bool
module Heyting_Algebra : Interface.HEYTING_ALGEBRA with type t = bool
module Involutive_Heyting_Algebra : Interface.INVOLUTIVE_HEYTING_ALGEBRA with type t = bool
module Boolean_Algebra : Interface.BOOLEAN_ALGEBRA with type t = bool
module Show : Interface.SHOW with type t = bool
module Infix : sig ... end