Module `Heyting_Algebra.V`

module O : sig ... end

val (<|=) : Bastet.Bool.Heyting_Algebra.t -> Bastet.Bool.Heyting_Algebra.t -> bool
val pseudocomplement : Bastet.Bool.Heyting_Algebra.t -> bool
val relative_pseudocomplement : Bastet.Bool.Heyting_Algebra.t -> Bastet.Bool.Heyting_Algebra.t -> Bastet.Bool.Heyting_Algebra.t -> bool