<<>> <> <> <> <> DIRECTORY PFS; PFSNarrow: CEDAR DEFINITIONS = { IsOpenFile: PROC [REF ANY] RETURNS [BOOL]; ToOpenFile: PROC [REF ANY] RETURNS [PFS.OpenFile]; }.