Module `Bool.Heyting_Algebra`

module V : sig ... end

val suite : string -> T.test T.suite