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

(* Last modified on Tue Feb 11 20:44:52 PST 1992 by muller                   *)

SHAPE Elt;

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

   This is the most basic shape for container interfaces.  There is a
   basic type, T, and two operations on values on that type.  *)

TYPE
  T;

PROCEDURE Equal (x, y: T): BOOLEAN; 
  (* return 'TRUE' if 'x' and 'y' are equal *)
 
PROCEDURE Copy (x: T): T;
  (* return a copy of 'x' *)

END Elt.