Go up to
E.2 Specifications from the Paris Proposal
Go forward to
E.2.2 PATH
E.2.1 FILE
spec
File =
Name
and
Content
then
generated
type
File ::=
<__.__>
(
the_name_of__:Name
;
the_content_of__:Content
)
%%
The `.' above is to be produced by a display annotation
end
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
