<> <> ShortRational: CEDAR DEFINITIONS = BEGIN Rational: TYPE ~ RECORD [numerator: INTEGER, denominator: CARDINAL]; FromReal: PROC [real: REAL] RETURNS [Rational]; <> <> <> END.