2.1 FILE

spec

FILE =

 

NAME require Name

and

 

CONTENT require Content

then

generated type

File ::= <__.__> (

the_name_of__:Name;

the_content_of__:Content )

%%  The `.' above is to be produced by a display annotation

end