Next: , Previous: , Up: args predefined   [Index]


8.5.22 Validating ratnums

The following bindings are exported by the library (vicare arguments validation).

Validation Clause: ratnum obj

Succeed if obj satisfies the predicate ratnum?.