Parameter S

Signature

val default_seed : Quickcheck_intf.seed