<> <> <> DIRECTORY Rope: TYPE USING [ROPE]; ListerOps: DEFINITIONS = { <> ListBcd: PROC [root, output: Rope.ROPE, links: BOOL]; ListRTBcd: PROC [root, output: Rope.ROPE, sorted: BOOL]; ListFiles: PROC [root, output: Rope.ROPE]; ListStamps: PROC [root, output: Rope.ROPE]; ListVersion: PROC [root: Rope.ROPE]; <> CodeOptions: TYPE = RECORD [full, stripped: BOOL_FALSE, radix: {octal, hex}_$octal]; ListCode: PROC [root: Rope.ROPE, options: CodeOptions]; ListCodeInConfig: PROC [config, name: Rope.ROPE, options: CodeOptions]; ListProc: PROC [input, proc: Rope.ROPE, output: Rope.ROPE, options: CodeOptions]; <> ListSymbols: PROC [root, output: Rope.ROPE, symbols, trees: BOOL]; ListSymbolsInConfig: PROC [config, name: Rope.ROPE, symbols, trees: BOOL]; <> ListGlobals: PROC [root, output: Rope.ROPE]; }.