(_s: &str)
| 642 | /// caches. |
| 643 | /// |
| 644 | /// `get()` returns owned `KConst`/`Vec` (cheap Arc clones) to avoid |
| 645 | /// tying callers to internal map borrows. |
| 646 | pub struct KEnv<M: KernelMode> { |
| 647 | // -- Constants -- |
| 648 | /// Loaded constants keyed by `KId`. |
| 649 | pub consts: FxHashMap<KId<M>, KConst<M>>, |
| 650 | /// Block membership: block id → ordered member ids. |
| 651 | pub blocks: FxHashMap<KId<M>, Vec<KId<M>>>, |
| 652 | |
| 653 | // -- Intern table (hash-consing for pointer dedup) -- |
| 654 | pub intern: InternTable<M>, |
| 655 |