namespace <root>

internal final class Val : Var, VarT {
    public final /*constructor*/ fun <init>(): Val
    internal open override /*2*/ val v: jet.Int
}
internal open class Var : jet.Any {
    public final /*constructor*/ fun <init>(): Var
    internal open var v: jet.Int
}
internal final class Var2 : Var {
    public final /*constructor*/ fun <init>(): Var2
    internal open override /*1*/ var v: jet.Int
}
internal abstract trait VarT : jet.Any {
    internal abstract var v: jet.Int
}