package preface

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `Suite.R`

type 'a t

type 'a generator

type 'a input

val generator : 'a QCheck2.Observable.t -> 'a generator QCheck2.Gen.t

val input : 'a QCheck2.Gen.t -> 'a input QCheck2.Gen.t

val lift : 'a generator -> 'a t

val run_equality : 'a input -> 'a t -> 'a t -> bool