Module `Verify.Heyting_Algebra`

Parameters

H : Interface.HEYTING_ALGEBRA

Signature

include sig ... end

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