| public final fun returnsAndCalls(b: R|kotlin/Boolean|, block: R|() -> kotlin/Unit|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| Returns(FALSE) -> !b | |
| CallsInPlace(block, UNKNOWN) | |
| Returns(TRUE) -> b | |
| > | |
| public final fun returnsAndFinished(b: R|kotlin/Boolean|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| Returns(TRUE) -> b | |
| Returns(WILDCARD) -> b != null | |
| Returns(FALSE) -> !b | |
| > | |
| public final fun severalCalls(x: R|() -> kotlin/Unit|, y: R|() -> kotlin/Unit|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| CallsInPlace(x, AT_MOST_ONCE) | |
| CallsInPlace(y, AT_LEAST_ONCE) | |
| > | |
| public final fun threeReturnsValue(b: R|kotlin/Boolean|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| Returns(NOT_NULL) -> b != null | |
| Returns(TRUE) -> b | |
| Returns(FALSE) -> !b | |
| > | |
| public final fun twoReturnsValue(b: R|kotlin/Boolean|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| Returns(TRUE) -> b | |
| Returns(FALSE) -> !b | |
| > |