Module `Make.Invariant`

Parameters

I : Interface.INVARIANT
AA : ARBITRARY_A with type 'a t := 'a I.t and type 'a arbitrary := 'a Q.arbitrary

Signature

module V : sig ... end

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