Next: , Up: args predefined   [Index]


8.5.1 Validating pairs and lists

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

Validation Clause: pair obj

Succeed if obj satisfies the predicate pair?.

Validation Clause: list obj

Succeed if obj satisfies the predicate list?.