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.