(part (name string)
      (size integer)
      (next (^ part)))

• The link pointer is inferred to be the next field: the only possibility allowed by type filtering.

• The sort-value is selected as name by the user.

• The sort-direction is selected as ascending.

The user only needs to make two choices from menus; then any procedure defined for sorted-linked-list can be specialized for the user's data.

Standard data structure templates can easily be instantiated with a given contents.

Contents    Page-10    Prev    Next    Page+10    Index