- let mk_fun (args, (name,ty), body, _) =
- List.map aux_var args ,k name, HExtlib.map_option k ty, k body in
+ let mk_fun (args, (name,ty), body, rec_param) =
+ List.map aux_var args ,k name, HExtlib.map_option k ty, k body,
+ fst (List.nth args rec_param)
+ in