Function Contains-Type-Variable-P

Part of:

package cl-perec
( contains-type-variable-p < type-pattern > < type-variables > )