Module Bastet__Verify.Involutive_Heyting_Algebra
Parameters
Signature
include sig ... end
val involution : H.t -> bool
Bastet__Verify.Involutive_Heyting_Algebrainclude sig ... endval involution : H.t -> bool