Export1  DEFINITIONS ::=
BEGIN
EXPORTS T

T ::= Typ	

END