Bastet__Bool.Heyting_Algebra
include Bastet.Interface.ORD
include Bastet.Interface.EQ
type t
val eq : t -> t -> bool
val compare : t -> t -> Bastet.Interface.ordering
include Bastet.Interface.BOUNDED_DISTRIBUTIVE_LATTICE with type t := t
include Bastet.Interface.BOUNDED_LATTICE
include Bastet.Interface.BOUNDED_JOIN_SEMILATTICE
include Bastet.Interface.JOIN_SEMILATTICE
val join : t -> t -> t
val bottom : t
include Bastet.Interface.BOUNDED_MEET_SEMILATTICE with type t := t
include Bastet.Interface.MEET_SEMILATTICE
val meet : t -> t -> t
val top : t
val not : t -> t
val implies : t -> t -> t