| FILE: stdlibConst.kt | |
| public final fun <T> R|T|.id(): R|T| { | |
| ^id this@R|/id| | |
| } | |
| public final const [EvaluatedValue=Int(49)] val code: R|kotlin/Int| = Char(1).R|kotlin/code| | |
| public get(): R|kotlin/Int| | |
| public final const [EvaluatedValue=Int(5)] val floorDiv: R|kotlin/Int| = Int(10).R|kotlin/floorDiv|(Int(2)) | |
| public get(): R|kotlin/Int| | |
| public final const [EvaluatedValue=Int(2)] val mod: R|kotlin/Int| = Int(5).R|kotlin/mod|(Int(3)) | |
| public get(): R|kotlin/Int| | |
| public final fun box(): R|kotlin/String| { | |
| when () { | |
| !=(R|/code|.R|/id|<R|kotlin/Int|>(), Int(49)) -> { | |
| ^box String(Fail 1) | |
| } | |
| } | |
| when () { | |
| !=(R|/floorDiv|.R|/id|<R|kotlin/Int|>(), Int(5)) -> { | |
| ^box String(Fail 2) | |
| } | |
| } | |
| when () { | |
| !=(R|/mod|.R|/id|<R|kotlin/Int|>(), Int(2)) -> { | |
| ^box String(Fail 3) | |
| } | |
| } | |
| ^box String(OK) | |
| } |