Documentation

run remove let-exprs whose assigned variables are used only at most once. This assumes that the program is alpha-converted.

For example, this converts the following:

let f = fun y -> y
in let x = 1
in f(x + x)

to:

let x = 1
in (fun y -> y) (x + x)

NOTE: this doesn't constant folding.