Module `Compare.Heyting_Algebra`

Parameters

H : Bastet.Interface.HEYTING_ALGEBRA
E : Bastet.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