(* Copyright (C) 1992, Digital Equipment Corporation                         *)
(* All rights reserved.                                                      *)
(* See the file COPYRIGHT for a full description.                            *)

(* Last modified on Tue Feb 11 20:45:05 PST 1992 by muller                   *)

SHAPE Order EXTENDS Elt;

(* This interface is not intended to be compiled.  Rather, it
   describes the shape that is expected by some generic interfaces and
   modules.

   In addition to the basics of Elt, provide a Compare function on
   values of type T. *)

PROCEDURE Compare (x, y: Elt.T): [-1..1];
   (* return: 
        -1 if 'x' is less than 'y'
         0 if 'x' is equal to 'y'
        +1 if 'x' is greater than 'y' *)

END Order.