Searched refs:new_imp_decl (Results 1 – 1 of 1) sorted by relevance
383 let new_imp_decl = L loc (decl { ideclExt = noExtField, ideclSafe = mod_safe' function386 return (new_imp_decl, gbl_env, imports, mi_hpc iface)