let
bind_fresh env lv : (
F
.var * env) =
let
x = fresh_local lv
in
x , bind_lvar env lv (
F
.var x)