BigInts.mesa
Last Edited by: Arnon, June 25, 1987 12:49:56 pm PDT
Mcisaac, June 26, 1987 12:19:32 pm PDT
BigInts: CEDAR DEFINITIONS
= BEGIN
Types
BigInt: TYPE = Rope.ROPE;
I/O and Conversion
FromRope:
PROC [in: Rope.
ROPE]
RETURNS [out: BigInt];
ToRope:
PROC [in: BigInt]
RETURNS [out: Rope.
ROPE];
Comparison
Equal:
PROC [firstArg, secondArg: BigInt]
RETURNS [
BOOL];
END.