Function Disjunct-Type-P

Part of:

package cl-perec
( disjunct-type-p < type-1 > < type-2 > )