Module `Invariant.Suite_contravariant`

Parameters

module R : Model.CONTRAVARIANT_1

module I : Preface_specs.INVARIANT with type 'a t = 'a R.t

module A : Model.T0

module B : Model.T0

module C : Model.T0

Signature

val tests : count:int -> QCheck2.Test.t list