public final annotation class Anno : R|kotlin/Annotation| {
    public constructor(): R|test/Anno|

}

public final class Class : R|kotlin/Any| {
    public abstract interface Trait : R|kotlin/Any| {
        @PROPERTY:R|test/Anno|() public abstract val property: R|kotlin/Int|
            public get(): R|kotlin/Int|

    }

    public constructor(): R|test/Class|

}
