ForAll3[T1: T1, T2: T2, T3: T3]¶
Constructors¶
create¶
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[T1] val
- gen2': Generator[T2] val
- gen3': Generator[T3] val
- h: TestHelper val
Returns¶
- ForAll3[T1, T2, T3] ref^
Public Functions¶
apply¶
Parameters¶
- prop: {(T1, T2, T3, PropertyHelper) ?}[T1, T2, T3] val
Returns¶
- None val ?