Function Match-Type-Patterns

Part of:

package cl-perec
( match-type-patterns < patterns > < types > < type-variables > )