ForAll2[T1: T1, T2: T2]

[Source]

class ref ForAll2[T1: T1, T2: T2]

Constructors

create

[Source]

new ref create(
  gen1': Generator[T1] val,
  gen2': Generator[T2] val,
  h: TestHelper val)
: ForAll2[T1, T2] ref^

Parameters

• gen1': Generator[T1] val
• gen2': Generator[T2] val
• h: TestHelper val

Returns

• ForAll2[T1, T2] ref^

---

Public Functions

apply

[Source]

fun ref apply(
  prop: {(T1, T2, PropertyHelper) ?}[T1, T2] val)
: None val ?

Parameters

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

Returns

• None val ?

---