let add_fun_def name args f = (* eprintf "add fun %a (%a)@." Hstring.print name Variable.print_vars args; *) Hstring.H.add function_defs name (args, f)