# 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^ | ValueAndShrink[T2])
```

#### Type Alias For

* (T2^ | [ValueAndShrink](pony_check-ValueAndShrink.md)\[T2\])

---

