Module Involutive_Heyting_Algebra.V

val involution : Bastet.Bool.Involutive_Heyting_Algebra.t -> bool