+ (Ast.meta_name -> Ast.list_len -> Ast0.pure -> unit) ref =
+ ref (fun _ -> failwith "uninitialized add_meta")
+
+let add_decl_meta: (Ast.meta_name -> Ast0.pure -> unit) ref =
+ ref (fun _ -> failwith "uninitialized add_meta")
+
+let add_field_meta: (Ast.meta_name -> Ast0.pure -> unit) ref =
+ ref (fun _ -> failwith "uninitialized add_meta")
+
+let add_field_list_meta:
+ (Ast.meta_name -> Ast.list_len -> Ast0.pure -> unit) ref =
+ ref (fun _ -> failwith "uninitialized add_meta")
+
+let add_symbol_meta: (string -> unit) ref =