namespace <root>

// <namespace name="lib">
namespace lib

internal abstract trait lib.WithInner : jet.Any {
    internal abstract trait lib.WithInner.Inner : jet.Any {
    }
}
// </namespace name="lib">
// <namespace name="user">
namespace user

internal final fun main(/*0*/ a: lib.WithInner, /*1*/ b: lib.WithInner.Inner): jet.Tuple0
// </namespace name="user">
