namespace <root>

// <namespace name="a">
namespace a

internal abstract trait a.A : jet.Any {
    internal abstract fun foo(): jet.Int
}
internal final class a.B : a.A {
    public final /*constructor*/ fun <init>(): a.B
    internal open override /*1*/ fun foo(): jet.Int
}
internal final fun foo(/*0*/ b: a.B): jet.Int
// </namespace name="a">
