The difference between this function and user_transform
is that the this
function does not perform type checks before calling recursively while user_transform
does.
user_transform_rec(fun, expr, env)
The actual function to transform.
The expression to transform -- typically a function body.
The environment where functions can be found.
Rewritten expression