<<>> <> <> <> <> <> DIRECTORY MobDefs USING [MobBase], IO USING [STREAM], Rope USING [ROPE], SymbolTable USING [Base]; MobOps: DEFINITIONS ~ { <> <> Cookie: TYPE = REF CookieObj; CookieObj: TYPE; <> Cache: TYPE ~ REF CacheRep; CacheRep: TYPE; DoSymbols: PROC[ cookie: Cookie, proc: PROC[sym: SymbolTable.Base]]; -- sym may be NIL <> Configuration: ERROR; NoSymbols: ERROR; WrongSymbolsVersion: ERROR; DoMobStream: PROC[ file: IO.STREAM, proc: PROC[ mob: MobDefs.MobBase, -- mob may be NIL cookie: Cookie]]; <> FileError: ERROR[err: Rope.ROPE]; WrongMobdefsVersion: ERROR; NewCache: PROCEDURE [] RETURNS [Cache]; FlushCache: PROCEDURE [cache: Cache] RETURNS []; DoCachedSymbols: PROCEDURE [ cookie: Cookie, proc: PROC[sym: SymbolTable.Base], -- sym may be NIL cache: Cache]; <> }.