checkAll

suspend fun checkAll(property: suspend PropertyContext.() -> Unit): PropertyContext

suspend fun <A> checkAll(genA: Arb<A>, property: suspend PropertyContext.(A) -> Unit): PropertyContext

suspend fun <A, B> checkAll( genA: Arb<A>, genB: Arb, property: suspend PropertyContext.(A, B) -> Unit): PropertyContext

suspend fun <A, B, C> checkAll( genA: Arb<A>, genB: Arb, genC: Arb<C>, property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext

suspend fun <A, B, C, D> checkAll( genA: Arb<A>, genB: Arb, genC: Arb<C>, genD: Arb<D>, property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext

suspend fun <A, B, C, D, E> checkAll( genA: Arb<A>, genB: Arb, genC: Arb<C>, genD: Arb<D>, genE: Arb<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext

suspend fun <A, B, C, D, E, F> checkAll( genA: Arb<A>, genB: Arb, genC: Arb<C>, genD: Arb<D>, genE: Arb<E>, genF: Arb<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext

suspend fun <A, B, C, D, E, F, G> checkAll( gena: Arb<A>, genb: Arb, genc: Arb<C>, gend: Arb<D>, gene: Arb<E>, genf: Arb<F>, geng: Arb<G>, fn: suspend PropertyContext.(A, B, C, D, E, F, G) -> Unit)

suspend fun <A, B, C, D, E, F, G, H> checkAll( gena: Arb<A>, genb: Arb, genc: Arb<C>, gend: Arb<D>, gene: Arb<E>, genf: Arb<F>, geng: Arb<G>, genh: Arb<H>, fn: suspend PropertyContext.(A, B, C, D, E, F, G, H) -> Unit)

suspend fun <A, B, C, D, E, F, G, H, I> checkAll( gena: Arb<A>, genb: Arb, genc: Arb<C>, gend: Arb<D>, gene: Arb<E>, genf: Arb<F>, geng: Arb<G>, genh: Arb<H>, geni: Arb, fn: suspend PropertyContext.(A, B, C, D, E, F, G, H, I) -> Unit)

suspend fun <A, B, C, D, E, F, G, H, I, J> checkAll( gena: Arb<A>, genb: Arb, genc: Arb<C>, gend: Arb<D>, gene: Arb<E>, genf: Arb<F>, geng: Arb<G>, genh: Arb<H>, geni: Arb, genj: Arb<J>, fn: suspend PropertyContext.(A, B, C, D, E, F, G, H, I, J) -> Unit)