<> <> <> <> <<>> DIRECTORY IO USING [STREAM], SaffronPGDeclsDef USING [ProgramGraphNode]; SaffronPGOperations: CEDAR DEFINITIONS ~ BEGIN NewPrintProgramGraph: PROC [stream: IO.STREAM, pg: SaffronPGDeclsDef.ProgramGraphNode]; END.