let userdef_mem_apply m = function | Fclos(k,ap,vinfo) -> F.var (get_c_funvar m k vinfo ap) | Mclos mc -> M.userdef_mem_apply m.mem mc