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