kotlin-stdlib/kotlin.contracts/ConditionalEffect

ConditionalEffect

@ExperimentalContracts
interface ConditionalEffect : Effect(source)

An effect of some condition being true after observing another effect of a function.

This effect is specified in the contract { } block by attaching a boolean expression to another SimpleEffect effect with the function SimpleEffect.implies.

Since Kotlin

1.3