DEFINITION MODULE splayItem;
(*
 	Title:		
	Last Edit:	Sun Nov 22 12:31:05 1992
	Author:		Johan Persson at my9

*)
  TYPE
     T = INTEGER;

  PROCEDURE cmp(a:T; b:T): INTEGER;
  (* Returns:	   cmp(a,b) = 0  => a=b
		   cmp(a,b) = 1  => a>b
		   cmp(a,b) = -1 => a<b
  *)
  
  PROCEDURE create(VAR a:T);
  (* Post: A new object has been created 
  *) 
  
  PROCEDURE destroy(VAR a:T);
  (* Pre: create(a)
     Post: All memory occupied by 'a' has been returned.
           a = NIL 
  *)
  
END splayItem.
