Function Match-Type-Pattern

Part of:

package cl-perec
( match-type-pattern < pattern > < type > < type-variables > < type-environment > )