| Ast.Record (params,name,ty,fields) ->
"record " ^ name ^ " " ^ pp_params params ^ ": " ^ pp_term ty ^
" \\def {" ^ pp_fields fields ^ "\n}"
| Ast.Record (params,name,ty,fields) ->
"record " ^ name ^ " " ^ pp_params params ^ ": " ^ pp_term ty ^
" \\def {" ^ pp_fields fields ^ "\n}"