# Section 8.1.2.1:
ELT_NIL

###### class ELT_NIL{ETP}

#### Formal Types

The type definitions in this generic class specification fall into two groups :-

1. The definition of ELT_NIL{ETP} itself (including SAME).
2. The auxiliary vdm type needed to define the Sather type argument used in the feature definitions which follow.

types
SAME = ELT_NIL_ETP ;
-- Auxiliary Types
Element_Type = @ETP

#### External specifications

All features of this class are specified in the abstract class $ELT_NIL of which this class is a sub-type :-

- elt_nil : ETP
- is_elt_nil : BOOL

| Language Index |  | Library Index |  | Basic Index

Comments or enquiries should be made to Keith Hopper. Page last modified: Monday, 26 February 2001. |