FILE: test.kt public open class Value : R|kotlin/Any| { public constructor(s: R|kotlin/String|): R|Value| { super() } public final val s: R|kotlin/String| = R|/s| public get(): R|kotlin/String| } public final val generator: R|Generator| = R|/Generator.Generator|() public get(): R|Generator| public final val y: R|Value| = (R|/generator|.R|/Generator.createValue|(String(Omega)) as R|Value|) public get(): R|Value|