Modules
|
|
free-variables
|
n/a
|
free-variables.str
|
|
memo
|
The memo operator makes a strategy into a memoizing strategy that looks up the term to be transformed in a memo table and only computes the transformation if the term is not found
|
memo.str
|
|
option
|
n/a
|
option.str
|
|
parenthesize
|
This module defines a generic strategy for placing parentheses in abstract syntax trees based on priority and associativity declarations
|
parenthesize.str
|
|
rename
|
Renaming of bound variables is determined by the shape of variables and binding constructs
|
rename.str
|
|
substitution
|
n/a
|
substitution.str
|
|
unification
|
Syntactic unification, no variable bindings are taken into account
|
unification.str
|