Module `Compare.Heyting_Algebra`

Parameters

H : Interface.HEYTING_ALGEBRA
E : Interface.EQ with type t = H.t

Signature

module O : sig ... end

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