(Ast.meta_name -> iconstraints -> Ast0.pure -> unit) ref =
ref (fun _ -> failwith "uninitialized add_meta")
+let add_fresh_id_meta: (Ast.meta_name -> unit) ref =
+ ref (fun _ -> failwith "uninitialized add_meta")
+
let add_type_meta: (Ast.meta_name -> Ast0.pure -> unit) ref =
ref (fun _ -> failwith "uninitialized add_meta")