Expand description
Unification algorithm for cl-ast [Pattern]s and ConValues
variables() returns a flat list of symbols that are bound by a given pattern
substitution() unifies a ConValue with a pattern, and produces a list of bound names
Functionsยง
- append_
sub - Appends a substitution to the provided table
- substitution
- Constructs a substitution from a pattern and a value
- variables
- Gets the path variables in the given Pattern