296
310
Ast.MetaIdDecl(ar, name) ->
297
311
no_arity ar; pr "identifier "; pp_name name; pr ";\n"
299
313
pr "fresh identifier "; pp_name name; pr ";\n"
301
315
pr "fresh identifier "; pp_name name; pr " = \""; pr x; pr "\";\n"
302
318
| Ast.MetaTypeDecl(ar, name) ->
303
319
no_arity ar; pr "type "; pp_name name; pr ";\n"
304
320
| Ast.MetaInitDecl(ar, name) ->