is
Indicates that the corresponding effect expression should be negated to compute the proposition or the conclusion of an effect.
Contracts are an internal feature of the standard Kotlin library, and their behavior and/or binary format may change in a subsequent release.