ktoklib/src/ListF.ig


 Copyright (c) 2000 California Institute of Technology 
 All rights reserved. See the file COPYRIGHT for a full description. 
 $Id: ListF.ig.html,v 1.3 2010-04-29 17:18:51 wagner Exp $ 

GENERIC INTERFACE ListF(Elem, ElemList);
IMPORT Word;
CONST
  Brand = "(ListF " & Elem.Brand & ")";
TYPE
  T = ElemList.T;
PROCEDURE Format(l: T): TEXT; (* assumes Elem.Format exists *)
PROCEDURE Equal(l1,l2: T): BOOLEAN;
PROCEDURE Hash(l: T): Word.T;  (* assumes Elem.Hash *)
END ListF.