(fun (params, name, ty, body, rec_param) ->
[ break;
hvbox false true ([
(fun (params, name, ty, body, rec_param) ->
[ break;
hvbox false true ([
Ast.Ident (name, Some (aux_substs env substs))
| Ast.Meta (index, substs) -> Ast.Meta (index, aux_meta_substs env substs)
Ast.Ident (name, Some (aux_substs env substs))
| Ast.Meta (index, substs) -> Ast.Meta (index, aux_meta_substs env substs)