[Next] [Previous] [Up] [Top] [Contents] [Index]
3 Static Types
3.4 Special Types and Type Constructors
The syntax of types (excluding parameterization) is as follows:
type ::= named_type
| closure_type
| lub_type
| glb_type
| "(" type ")" just for grouping
- 3.4.1 - Named Types
-
- 3.4.2 - Closure Types
-
- 3.4.3 - Least-Upper-Bound Types
-
- 3.4.4 - Greatest-Lower-Bound Types
-
The Cecil Language: Specification and Rationale, Version 2.1 - 25 MARCH 1997
[Next] [Previous] [Up] [Top] [Contents] [Index]
Generated with Harlequin WebMaker