Suite_rigid (preface.Preface_qcheck.Indexed_selective.Suite

Parameters

module R : Model.COVARIANT_2

module F : Preface_specs.INDEXED_SELECTIVE with type ('a, 'index) t = ('a, 'index) R.t

module A : Model.T0

module B : Model.T0

module C : Model.T0

module Index : Model.T0

module Non_rigid : sig ... end

module Laws : sig ... end

val print : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  ('a, Index.t) R.t ->
  string

val selective_8 : int -> QCheck2.Test.t

val selective_9 : int -> QCheck2.Test.t

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