# ForAll3\[T1: T1, T2: T2, T3: T3\]
<span class="source-link">[[Source]](src/pony_check/for_all.md#L-0-49)</span>
```pony
class ref ForAll3[T1: T1, T2: T2, T3: T3]
```

## Constructors

### create
<span class="source-link">[[Source]](src/pony_check/for_all.md#L-0-55)</span>


```pony
new ref create(
  gen1': Generator[T1] val,
  gen2': Generator[T2] val,
  gen3': Generator[T3] val,
  h: TestHelper val)
: ForAll3[T1, T2, T3] ref^
```
#### Parameters

*   gen1': [Generator](pony_check-Generator.md)\[T1\] val
*   gen2': [Generator](pony_check-Generator.md)\[T2\] val
*   gen3': [Generator](pony_check-Generator.md)\[T3\] val
*   h: [TestHelper](pony_test-TestHelper.md) val

#### Returns

* [ForAll3](pony_check-ForAll3.md)\[T1, T2, T3\] ref^

---

## Public Functions

### apply
<span class="source-link">[[Source]](src/pony_check/for_all.md#L-0-66)</span>


```pony
fun ref apply(
  prop: {(T1, T2, T3, PropertyHelper) ?}[T1, T2, T3] val)
: None val ?
```
#### Parameters

*   prop: {(T1, T2, T3, PropertyHelper) ?}[T1, T2, T3] val

#### Returns

* [None](builtin-None.md) val ?

---

