Go up to Appendix A: Abstract Syntax
Go forward to Basic Specifications

Identifiers

  ID               ::=  SIMPLE-ID
  SIMPLE-ID         --  structure insignificant for abstract syntax
CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk