<> <> <> <<>> <> <<>> DIRECTORY Rope; OracleGen: CEDAR DEFINITIONS ~ BEGIN <> Bin: PROC [k: CARD] RETURNS [s: Rope.ROPE]; <> <<>> <<>> LExtend: PROC [r: Rope.ROPE, i: INT] RETURNS [s: Rope.ROPE]; <> <<>> <<>> BinExt: PROC [k: INT, i: INT] RETURNS [r: Rope.ROPE]; <> <<>> <<>> Expand: PROC [r: Rope.ROPE, i: INT] RETURNS [s: Rope.ROPE]; <> Hex: PROC [k: CARD] RETURNS [s: Rope.ROPE]; <> END.