| public final fun embedInstancePredicate(x: R|kotlin/Any|, y: R|kotlin/Any?|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| Returns(WILDCARD) -> x is kotlin/String && y is kotlin/String | |
| > | |
| public final fun embedNullCheckPredicate(x: R|kotlin/Any?|, y: R|kotlin/Int?|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| Returns(WILDCARD) -> y != null && x is kotlin/String | |
| > | |
| public final fun R|kotlin/Boolean|.embedReceiverReference(b: R|kotlin/Boolean|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| Returns(WILDCARD) -> (!this) && b | |
| > | |
| public final fun embedVariable(x: R|kotlin/Any|, b: R|kotlin/Boolean|): R|kotlin/Unit| | |
| [R|Contract description] | |
| < | |
| Returns(WILDCARD) -> b && x is kotlin/String | |
| > |