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


8.5.29 Validating procedures

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

Validation Clause: procedure obj

Succeed if obj is a procedure.

Validation Clause: procedure/false obj

Succeed if obj is #f or a procedure.