Skip to main content
Version: Next

pbt

let gen: <a>pbt_gen<a>

let gen_small: <a>pbt_gen<a>

let make_test: <a>(_: pbt_gen<a>) => (_: (_: a) => bool) => pbt_test<a>

let run: <a>(_: pbt_test<a>) => (_: nat) => pbt_result<a>