Type Alias Substitution<T>

Substitution<T>: {
[symbol: string]: T;
}

A substitution describes the values of the wildcards in a pattern so that the pattern is equal to a target expression.

A substitution can also be considered a more constrained version of a rule whose lhs is always a symbol.