<<>> <> <> <> <> <> <> DIRECTORY Rope USING [ROPE]; RopeHash: CEDAR DEFINITIONS = BEGIN <<>> ROPE: TYPE = Rope.ROPE; PureText: TYPE = REF READONLY TEXT; defaultSeed: CARDINAL = 31415; FromRefText: PROC [text: PureText, seed: CARDINAL ¬ defaultSeed] RETURNS [hash: CARDINAL]; <> FromRope: PROC [rope: Rope.ROPE, case: BOOL ¬ TRUE, start: INT ¬ 0, len: INT ¬ LAST[INT], seed: CARDINAL ¬ defaultSeed] RETURNS [hash: CARDINAL]; <> END.