Term.Narrowing.Variants.Compute
computeVariantsBound
computeVariants
for testing
compareSubstVariant