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