BigReals.mesa
Last Edited by: Arnon, June 25, 1987 12:50:06 pm PDT
BigReals: CEDAR DEFINITIONS
= BEGIN
Types
BigReal: TYPE = Rope.ROPE;
I/O and Conversion
FromRope:
PROC [in: Rope.
ROPE]
RETURNS [out: BigReal];
ToRope:
PROC [in: BigReal]
RETURNS [out: Rope.
ROPE];
Comparison
Equal:
PROC [firstArg, secondArg: BigReal]
RETURNS [
BOOL];
END.