Vicare Scheme’s typed language: built-in numerics rational-valued

6.13.5 Type of rational–valued values

Core Type: <rational-valued>
Parent Type: <real>: Type of rational–valued values.

Constructor on <rational-valued>: <rational-valued> type-constructor obj: Validate obj as object of type <rational-valued> and return it.

Type predicate on <rational-valued>: <boolean> type-predicate obj: The type predicate is rational-valued?. Return #t if obj is a <rational-valued> object, otherwise return #f.