Module `Heyting_Algebra.V`

module O : sig ... end

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