1.7.5 Arguments validation

The following bindings are imported and reexported by (vicare language-extension syntaxes) from the library (vicare arguments validation):

define-argument-validation
with-arguments-validation
with-dangerous-arguments-validation
arguments-validation-forms