Module `Bastet__Bool`

module Conjunctive : sig ... end

module Disjunctive : sig ... end

module Eq : Bastet.Interface.EQ with type t = bool

module Ord : Bastet.Interface.ORD with type t = bool

module Bounded : Bastet.Interface.BOUNDED with type t = bool

module Join_Semilattice : Bastet.Interface.JOIN_SEMILATTICE with type t = bool

module Meet_Semilattice : Bastet.Interface.MEET_SEMILATTICE with type t = bool

module Bounded_Join_Semilattice : Bastet.Interface.BOUNDED_JOIN_SEMILATTICE with type t = bool

module Bounded_Meet_Semilattice : Bastet.Interface.BOUNDED_MEET_SEMILATTICE with type t = bool

module Lattice : Bastet.Interface.LATTICE with type t = bool

module Bounded_Lattice : Bastet.Interface.BOUNDED_LATTICE with type t = bool

module Distributive_Lattice : Bastet.Interface.DISTRIBUTIVE_LATTICE with type t = bool

module Bounded_Distributive_Lattice : Bastet.Interface.BOUNDED_DISTRIBUTIVE_LATTICE with type t = bool

module Heyting_Algebra : Bastet.Interface.HEYTING_ALGEBRA with type t = bool

module Involutive_Heyting_Algebra : Bastet.Interface.INVOLUTIVE_HEYTING_ALGEBRA with type t = bool

module Boolean_Algebra : Bastet.Interface.BOOLEAN_ALGEBRA with type t = bool

module Show : Bastet.Interface.SHOW with type t = bool

module Infix : sig ... end