kotlin-stdlib/kotlin.contracts/HoldsIn

HoldsIn

@ExperimentalContracts
@ExperimentalExtendedContracts
interface HoldsIn : Effect(source)

Describes a situation when a provided condition is guaranteed to be true in the body of a functional parameter.

Since Kotlin

2.2

See also