5.16 The Option sort-records

There are different ways to determine the order in which the attributes of a record are displayed. With sort-records, you can choose between three order schemes:

set sort-records internal

The attributes will be displayed in the order they have internally.

set sort-records alphabetic

The attributes will be ordered alphabetically by their names.

set sort-records definition

The attributes will be ordered by their names; the order is the same as in the symbol table.