Module Compare.Involutive_Heyting_Algebra
Parameters
H : Interface.HEYTING_ALGEBRAE : Interface.EQ with type t = H.t
Signature
val involution : H.t -> bool
Compare.Involutive_Heyting_AlgebraH : Interface.HEYTING_ALGEBRAE : Interface.EQ with type t = H.tval involution : H.t -> bool