FILE: sealedClass.kt
    public sealed class Foo : R|kotlin/Any| {
        protected constructor(value: R|kotlin/String|): R|Foo| {
            super<R|kotlin/Any|>()
        }

        public final val value: R|kotlin/String| = R|<local>/value|
            public get(): R|kotlin/String|

    }
    public final class Bar : R|Foo| {
        public constructor(): R|Bar| {
            super<R|Foo|>(String(OK))
        }

    }
    public sealed class WithPrivateConstructor : R|kotlin/Any| {
        private constructor(x: R|kotlin/Int|): R|WithPrivateConstructor| {
            super<R|kotlin/Any|>()
        }

        public final val x: R|kotlin/Int| = R|<local>/x|
            public get(): R|kotlin/Int|

        private constructor(): R|WithPrivateConstructor| {
            this<R|WithPrivateConstructor|>(Int(42))
        }

    }
    public final object First : R|WithPrivateConstructor| {
        private constructor(): R|First| {
            super<R|WithPrivateConstructor|>()
        }

    }
    public final object Second : R|WithPrivateConstructor| {
        private constructor(): R|Second| {
            super<R|WithPrivateConstructor|>(Int(0))
        }

    }
