<> <> <> <> <> 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, case: BOOL _ TRUE, start: INT _ 0, len: INT _ LAST[INT], seed: CARDINAL _ defaultSeed] RETURNS[hash: CARDINAL]; <> END.