Get block members. Returns owned Vec (cheap KId clones).
(&self, id: &KId<M>)
| 496 | // pointers are reused by the allocator for semantically different expressions. |
| 497 | /// WHNF cache (full, with delta): (expr_hash, ctx_hash)-keyed. |
| 498 | pub whnf_cache: FxHashMap<(Addr, CtxAddr), KExpr<M>>, |
| 499 | /// WHNF cache (no delta): (expr_hash, ctx_hash)-keyed. |
| 500 | pub whnf_no_delta_cache: FxHashMap<(Addr, CtxAddr), KExpr<M>>, |
| 501 | /// Cheap-mode WHNF cache (no delta, DEF_EQ_CORE flags): same key shape as |
| 502 | /// `whnf_no_delta_cache`, but populated by cheap-projection callers in the |
| 503 | /// def-eq lazy-delta loop. Cheap output is NOT shared with full callers |