##       Software from the book "Inferno Programming with Limbo"#       published by John Wiley & Sons, January 2003.##       p. Stanley-Marbell <pip@gemusehaken.org>#CacheLib : module{	PATH : con "cachelib.dis"; 	Cache : adt	{		cachesize	: int;		cache 		: array of list of int; 		isincache	: fn(cache : self ref Cache, fid : int) : int;		addtocache	: fn(cache : self ref Cache, fid : int);		delfromcache	: fn(cache : self ref Cache, fid : int);		hash		: fn(cache : self ref Cache, fid : int) : int; 		allocate 	: fn(cachesize : int) : ref Cache;	};};