Function Substitute-Type-Variables

Part of:

package cl-perec
( substitute-type-variables < patterns > < type-variable-bindings > )