Returns a set of all binding definitions in tree.
Returns the closure of tree as a set.
Returns the subset of closure(tree) that is modified within tree.
Creates a curried version of the supplied lambda.
Prints tree for debugging (most details).
Returns a set of all term definitions in a tree.
Inlines a sequence of binding definitions in a tree by replacing LHS with RHS.
Returns a set of all lambdas in tree.
Returns a set of all method (def) definitions in tree.
Returns a set of all variable (var) mutations in tree.
Returns a set of all parameter definitions in tree.
Replaces a sequence of symbols in a tree with freshly named ones.
Refreshes all symbols in a tree that are defined within (including lambdas).
Returns a set of all term references in a tree.
Replaces a sequence of term symbols with references to their aliases.
Replaces a sequence of term symbols with references to their aliases.
Dependent symbols are changed as well, such as children symbols with renamed owners,
and method symbols with renamed (type) parameters.
Replaces occurrences of find with repl in a tree.
Returns a fully-qualified reference to target (must be static).
Prints tree in parseable form.
Prints tree including owners as comments.
Prints tree including symbols as comments.
Prints tree including types as comments.
Substitutes a dictionary of symbol-value pairs in a tree.
Substitutes a sequence of symbol-value pairs in a tree.
Removes all (possibly nested) type ascriptions from tree.
Removes all (possibly nested) type ascriptions from tree.
Returns a set of all value (val) definitions in tree.
Returns a set of all variable (var) definitions in tree.
Copy / extractor for tree attributes.