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