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


8.5.21 Validating bignums

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

Validation Clause: bignum obj

Succeed if obj satisfies the predicate bignum?.