class StateRefGenerator : Generator<StateRef>
| <init> |
StateRefGenerator() |
| generate |
fun generate(random: SourceOfRandomness, status: GenerationStatus): StateRef |
| generateList |
fun <A> Generator<A>.generateList(random: SourceOfRandomness, status: GenerationStatus): List<A>
Generators for quickcheck |