Go backward to
E.2.7 Path
Go up to
E.2 Generic Structured Specifications
Go forward to
E.2.9 List_of_List_of_List_of_Nat
E.2.8 File
%%
Name
= ...
%%
Content
= ...
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 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
