pbt

gen: <a>pbt_gen<a>

gen_small: <a>pbt_gen<a>

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

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