The block entries, indexed by block id.
(&self)
| 165 | pub def_eq: u64, |
| 166 | /// Limb-weighted native Nat-arithmetic work checking this block. |
| 167 | pub nat_arith: u64, |
| 168 | /// Intern-table node visits checking this block (term-construction volume). |
| 169 | pub intern: u64, |
| 170 | } |
| 171 | |
| 172 | /// A recorded kernel profile over an environment. |
no outgoing calls
no test coverage detected