15.4.895  src/lib/src/id-key.pkg

# id-key.pkg
#

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

package id_key {
    #
    Key = Id;
    #
    fun compare
          (
            d1:         Id,
            d2:         Id
          )
        =
        int::compare  ( id_to_int  d1,
                        id_to_int  d2
                      );        
};