home *** CD-ROM | disk | FTP | other *** search
/ BURKS 2 / BURKS_AUG97.ISO / BURKS / LANGUAGE / ML / GIML / ORD-KSIG.SML < prev    next >
Text File  |  1996-12-09  |  409b  |  20 lines
  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 cmpKey : ord_key * ord_key -> LibBase.relation
  14.       (* cmpKey (v,v') = Equal   if v = v'
  15.        *               = Less    if v < v'
  16.        *               = Greater if v > v'
  17.        *)
  18.  
  19.   end (* ORD_KEY *)
  20.