A
DEFINITIONS AUTOMATIC TAGS ::= BEGIN

    EXPORTS ALL;

    Type ::= INTEGER

END

B
DEFINITIONS AUTOMATIC TAGS ::= BEGIN 

EXPORTS ALL;
    IMPORTS 

        Type FROM A

    ;

    AnotherType ::= Type

END

C
DEFINITIONS AUTOMATIC TAGS ::= BEGIN 

    IMPORTS 

        Type FROM B

    ;

    AndAnotherType ::= Type

END