Module Choice.Suite

Parameters

module P : Preface_specs.CHOICE with type ('a, 'b) t = ('a, 'b) R.t
module A : Model.T0
module B : Model.T0
module C : Model.T0
module D : Model.T0
module E : Model.T0
module F : Model.T0

Signature

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