Module `Make.Involutive_Heyting_Algebra`

Parameters

IHA : Interface.INVOLUTIVE_HEYTING_ALGEBRA
A : ARBITRARY with type t := IHA.t and type 'a arbitrary := 'a Q.arbitrary

Signature

module V : sig ... end

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