Function Match-Types

Part of:

package cl-perec
( match-types < type-specifier > < args > &optional < type-variables > )
Success: return type + type of each arg; failed: return NIL.