Skip to content

ForAll3[T1: T1, T2: T2, T3: T3]

[Source]

class ref ForAll3[T1: T1, T2: T2, T3: T3]

Constructors

create

[Source]

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

Parameters

Returns


Public Functions

apply

[Source]

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