<> <> <> DIRECTORY Rope; BigInts: CEDAR DEFINITIONS = BEGIN <> BigInt: TYPE = Rope.ROPE; <> FromRope: PROC [in: Rope.ROPE] RETURNS [out: BigInt]; ToRope: PROC [in: BigInt] RETURNS [out: Rope.ROPE]; <> Equal: PROC [firstArg, secondArg: BigInt] RETURNS [BOOL]; <<>> END.