Macro With-Validity

Part of:

package cl-perec
( with-validity &rest < args > )