INTERFACE B;

FROM A IMPORT U;

TYPE T = U;

END B.