Module Indexed_selective.Suite

Parameters

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

Signature

module Laws : sig ... end
module Applicative : sig ... end
val print : (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