let userdef_signature frame tused pused =
    let fp,fclos = userdef_fun_signature frame.fframe in
    let mp,mclos = M.userdef_signature frame.mframe tused pused in
    fp@mp , fclos@(List.map (fun c -> Mclos c) mclos)