kotlin-stdlib/kotlin.contracts/ContractBuilder/holdsIn

holdsIn

@ExperimentalExtendedContracts
abstract infix fun <R> Boolean.holdsIn(lambda: Function<R>): HoldsIn(source)

Specifies the condition, passed as a receiver argument, that is guaranteed to be true in the body of a function parameter lambda.

Note: the receiver accepts only a restricted boolean expression representing the condition, where the expression may include only the boolean parameter of the function defining the contract, or its negation.

Since Kotlin

1.3