Module Involutive_Heyting_Algebra.V

val involution : Bool.Involutive_Heyting_Algebra.t -> bool