src/smlnj-lib/ord-key-sig.sml

   1 (* ord-key-sig.sml
   2  *
   3  * COPYRIGHT (c) 1993 by AT&T Bell Laboratories.  See COPYRIGHT file for details.
   4  *
   5  * Abstract linearly ordered keys.
   6  *
   7  *)
   8
   9 signature ORD_KEY =
  10   sig
  11     type ord_key
  12
  13     val compare : ord_key * ord_key -> order
  14
  15   end (* ORD_KEY *)