let userdef_closure env = function | Fclos fc -> userdef_fun_closure env.env fc | Mclos mc -> M.userdef_closure env.mem mc