Term.Narrowing.Variants.Compute

computeVariantsBound

computeVariants

for testing

compareSubstVariant