Go backward to
4.1.1 Sorts
Go up to
4.1 Signature Declarations
4.1.2 Datatypes
4.1.2.1 Alternatives
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
