Go backward to
E.5 SIG2
Go up to
E Examples
Go forward to
E.7 PATH
E.6 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-v1.0-DRAFT -- Version: 1.0 DRAFT -- 1 October 1998.
Comments to
cofi-language@brics.dk