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


8.5.3 Validating numbers

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

Validation Clause: number obj

Succeed if obj satisfies the predicate number?.