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

6.13.7 Type of integer–valued values

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

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

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