Files
2023-07-12 11:41:33 +00:00

9 lines
288 B
Plaintext
Vendored

FILE: main.kt
public final fun main(j: R|JavaClass|): R|kotlin/Unit| {
{
lval <receiver>: R|JavaClass| = R|<local>/j|
R|<local>/<receiver>|.R|/JavaClass.foo| = R|<local>/<receiver>|.R|/JavaClass.foo|.R|kotlin/String.plus|(String(OK))
}
}