<<>> <> <> <> <> DIRECTORY PFS, PFSNames, Rope; SearchPaths: CEDAR DEFINITIONS = { ROPE: TYPE ~ Rope.ROPE; PATH: TYPE ~ PFSNames.PATH; SearchPath: TYPE ~ LIST OF PATH; <> SetPath: PROC [name: ROPE, search: SearchPath]; <> <> GetScratchPath: PROC [base: ROPE, search: SearchPath] RETURNS [name: ROPE]; <> GetPath: PROC [name: ROPE] RETURNS [search: SearchPath]; <> DeletePath: PROC [name: ROPE] RETURNS [had: BOOL]; <> c0: READONLY PFSNames.Component; <> ConsSearchDir: PROC [pathName: ROPE] RETURNS [--absolute directory--PATH]; ConsFileSearch: PROC [pathName: ROPE, short: PFSNames.Component] RETURNS [PATH]; }.