(component
(type (;0;)
(component
(type (;0;)
(instance
(type (;0;) u8)
(export (;1;) "ty" (type (eq 0)))
)
)
(import "the-iface" "path:/a/the-name/the-iface" (instance (type 0)))
(type (;1;)
(instance
(type (;0;) u8)
(export (;1;) "ty" (type (eq 0)))
)
)
(import "the-iface2" "path:/b/the-name/the-iface" (instance (type 1)))
(alias export 0 "ty" (type (;2;)))
(alias export 1 "ty" (type (;3;)))
(type (;4;)
(instance
(alias outer 1 2 (type (;0;)))
(export (;1;) "ty" (type (eq 0)))
(alias outer 1 3 (type (;2;)))
(export (;3;) "ty2" (type (eq 2)))
)
)
(export (;0;) "a" "pkg:/foo/a" (instance (type 4)))
)
)
(export (;1;) "foo" "pkg:/foo" (type 0))
)