The default initial Env
The default initial Env
The function that recursively traverses the expression
The function that recursively traverses the expression
The current expression
The current Env
The transformed expression
Transform the body of a FunDef
Transform the body of a FunDef
Transform an Expr with the initial environment
Transform an Expr with the initial environment
Transform an Expr with the specified environment
Transform an Expr with the specified environment
Simplifies variable ids in scope