15.4.1004  src/lib/src/sequence.pkg

## sequence.pkg

# Compiled by:
#     src/lib/std/standard.lib

# Default sequence implementation.
# Currently, red_black_numbered_list is our preferred
# -- and only -- implementation of Sequence, but
# that might change:

package sequence
    =
    red_black_numbered_list;                            # red_black_numbered_list       is from   src/lib/src/red-black-numbered-list.pkg


## COPYRIGHT (c) 1999 Bell Labs, Lucent Technologies.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.