Number of delta edges (consumer → producer pairs).
(&self)
| 160 | /// counters enabled; 0 otherwise. |
| 161 | pub subst: u64, |
| 162 | /// `whnf` entries checking this block (counted before cache probes). |
| 163 | pub whnf: u64, |
| 164 | /// `is_def_eq` entries checking this block. |
| 165 | pub def_eq: u64, |
| 166 | /// Limb-weighted native Nat-arithmetic work checking this block. |
| 167 | pub nat_arith: u64, |