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)