let
userdef_fun_closure env (vinfo,_) =
F
.var(get_funvar env vinfo)