15.4.118  src/app/makelib/stuff/symbol-ord-key.pkg

## symbol-ord-key.pkg

# Compiled by:
#     src/app/makelib/stuff/makelib-stuff.sublib


# Argument for set_g and map_g for the case of symbols.

                                                # map_g                 is from   src/app/makelib/stuff/map-g.pkg
                                                # set_g                 is from   src/app/makelib/stuff/set-g.pkg

package   symbol_ord_key   {
    #
    Key = symbol::Symbol;

    fun compare (s1, s2)
        =
        if     (symbol::symbol_fast_lt (s1, s2))   LESS;
        elif   (symbol::eq (s1, s2)            )   EQUAL;
        else                                       GREATER;
        fi;
};


# (C) 1999 Lucent Technologies, Bell Laboratories
# Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.