<> <> <> <> <> <> DIRECTORY CommandUtil: TYPE USING [PairList], Rope: TYPE USING [ROPE]; PGSOps: DEFINITIONS = { PGSPhase: TYPE = {format, lalr}; Generate: PROC[ source: Rope.ROPE, args, results: CommandUtil.PairList, switches: Rope.ROPE, startPhase: PROC [PGSPhase] RETURNS [BOOL], princOps: BOOL] RETURNS [success, warnings: BOOL]; NoSource: ERROR; LockedSource: ERROR; BadSemantics: ERROR; }.