## tagged-numbered-list.pkg
# Compiled by:
# src/lib/std/standard.lib# Default indexed-sequence implementation.
# Currently, red_black_tagged_numbered_list is our preferred
# -- and only -- implementation of Sequence, but
# that might change:
package tagged_numbered_list
=
red_black_tagged_numbered_list; # red_black_tagged_numbered_list is from src/lib/src/red-black-tagged-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.