| 176 | /// so expressions referencing them resolve. |
| 177 | pub aux_name_to_addr: DashMap<Name, Address>, |
| 178 | /// Original Lean environment, if available. Used by the decompiler for |
| 179 | /// aux_gen comparison (verifying regenerated constants match originals). |
| 180 | pub lean_env: Option<Arc<LeanEnv>>, |
| 181 | /// Per-auxiliary-name surgery plans for call-site argument reordering. |
| 182 | /// Keyed by the original auxiliary name (e.g., `A.rec`, `B.rec`). |
| 183 | /// Computed per original recursor name in `compile_mutual` after `sort_consts`. |
| 184 | pub call_site_plans: DashMap<Name, surgery::CallSitePlan>, |
nothing calls this directly
no outgoing calls
no test coverage detected