cit_util/src/BrandedSet.ig


 $Id: BrandedSet.ig.html,v 1.2.2.1 2010-04-15 20:58:25 wagner Exp $ 
GENERIC INTERFACE BrandedSet(Elem, Set);
IMPORT Word;

TYPE T = Set.T;

CONST Brand = "Set of " & Elem.Brand;

PROCEDURE Equal(a, b : T) : BOOLEAN;
PROCEDURE Hash(a : T) : Word.T; (* XXX inefficient *)

END BrandedSet.