# GenerateResult\[T2: T2\]
<span class="source-link">[[Source]](src/pony_check/generator.md#L-0-13)</span>

Return type for
[`Generator.generate`](pony_check-Generator.md#generate).

Either a single value or a Tuple of a value and an Iterator
of shrunken values based upon this value.


```pony
type GenerateResult[T2: T2] is
  (T2^ | (T2^ , Iterator[T2^] ref))
```

#### Type Alias For

* (T2^ | (T2^ , [Iterator](builtin-Iterator.md)\[T2^\] ref))

---

