# Section 6.7.6:
Typecase Statement

#### Concrete Syntax

typecase statement = | Typecase_SY, identifier,
| type guard, guarded clause,
| [{type guard, guarded clause}],
| [default clause], End_SY ;

#### Abstract Syntax

#### Static Semantics

#### Dynamic Semantics

| Specification Index |  | Language Index |  | Section 6 Index

Comments or enquiries should be made to Keith Hopper. Page last modified: Tuesday, 23 May 2000. |