Prev Up Next
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

Prev Up Next