Non_rigid (preface.Preface_qcheck.Indexed_selective.Suite_rigid.Non

module Laws : sig ... end

module Applicative : sig ... end

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

val selective_1 : int -> QCheck2.Test.t

val selective_2 : int -> QCheck2.Test.t

val selective_3 : int -> QCheck2.Test.t

val selective_4 : int -> QCheck2.Test.t

val selective_5 : int -> QCheck2.Test.t

val selective_6 : int -> QCheck2.Test.t

val selective_7 : int -> QCheck2.Test.t

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