<<>> <> <> <> <<>> DIRECTORY PFSNames USING [PATH], Rope USING [ROPE] ; PFSExtras: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE ~ Rope.ROPE; PATH: TYPE ~ PFSNames.PATH; PFSNameToUnixName: PROC [ file: PATH ] RETURNS [ ROPE ]; <> CaseSensitive: PROC [ file: PATH ] RETURNS [ BOOL ]; <> END.