Module Core_kernel__.List0.For_quickcheck

module Generator = Core_kernel.Quickcheck.Generator
module Observer = Core_kernel.Quickcheck.Observer
module Shrinker = Core_kernel.Quickcheck.Shrinker
val gen : 'a Generator.t ‑> 'a Core_kernel__.Import.list Generator.t
val gen_non_empty : 'a Generator.t ‑> 'a Core_kernel__.Import.list Generator.t
val gen_with_length : Core_kernel__.Import.int ‑> 'a Generator.t ‑> 'a Core_kernel__.Import.list Generator.t
val gen_permutations : 'a List.t ‑> 'a list Generator.t
val obs : 'a Observer.t ‑> 'a list Observer.t
val shrinker : 'a Shrinker.t ‑> 'a list Shrinker.t