Function Match-Is

Part of:

package cl-perec
( match-is < var-and-pred > < input > < bindings > )
Succeed and bind var if the input satisfies pred,
where var-and-pred is the list (var pred).