<> <> <> <> DIRECTORY Symbols USING [ISEIndex, CBTIndex], SymbolTable USING [Base]; ReplOps: DEFINITIONS = { BodyHandle: TYPE = RECORD [ stb: SymbolTable.Base, bti: Symbols.CBTIndex]; IdHandle: TYPE = RECORD [ stb: SymbolTable.Base, sei: Symbols.ISEIndex]; MatchedBodies: PROC [bodyL, bodyR: BodyHandle] RETURNS [BOOL]; MatchAttr: TYPE = {id, strings}; Unmatched: SIGNAL [attr: MatchAttr, id: IdHandle]; }.