Platform-independent universal properties. This class is an ancestor to all developer-written classes.
The current flat short form version of this class has not been adopted yet as part of the new vintage but has been made accessible here for ease of reference during the standardization process discussions. Also available is the ELKS '95 official version.
Incorrect postcondition in feature deep_equal.
|
|
