<<>> <> <> <> <<>> DIRECTORY Rope ; SunRPCPgmNames: CEDAR DEFINITIONS ~ { <> ROPE: TYPE ~ Rope.ROPE; PgmNum: TYPE ~ CARD; nullPgmNum: PgmNum ~ CARD.LAST; Error: ERROR [code: ATOM]; <<$badName -- name in query not defined and not numeric literal>> <<$badPgmNum -- nullPgmNum specified where valid pgm num required>> <<$other>> <> NameFromPgm: PROC [pgm: PgmNum] RETURNS [name: ROPE]; <> <> PgmFromName: PROC [name: ROPE, case: BOOL ¬ FALSE] RETURNS [pgm: PgmNum]; <> <> <> <> <> Def: PROC [name: ROPE, pgm: PgmNum]; <> <> <<>> Undef: PROC [name: ROPE ¬ NIL, case: BOOL ¬ FALSE, pgm: PgmNum ¬ nullPgmNum]; <> }.