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


8.5.23 Validating reals

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

Validation Clause: real obj

Succeed if obj satisfies the predicate real?.

Validation Clause: real-exact obj

Succeed if obj satisfies one of the predicates fixnum?, bignum?, ratnum?.