<<>> <> <> <> <> <> <> DIRECTORY IO, RedBlackTree, Rope; GetFromRelease: CEDAR DEFINITIONS = { Imports: TYPE ~ RedBlackTree.Table; <> CreateImports: PROC RETURNS [Imports]; GetFile: PROC [ fileName, self: Rope.ROPE, highest: BOOL, imports: Imports ¬ NIL, log: IO.STREAM ¬ NIL, mapAtom: ATOM ¬ NIL, attach: BOOL ¬ TRUE] RETURNS [gotIt: BOOL]; <> UpdateDFFile: PROC [log: IO.STREAM, dfFileName: Rope.ROPE, imports: Imports] RETURNS [success: BOOL]; }.