(work: u64)
| 85 | /// cost of the Aiur `klimbs_*`/`u64_*` arithmetic circuits, which scale with |
| 86 | /// limb count and are invisible to the hb/subst/def_eq counters. |
| 87 | #[inline(always)] |
| 88 | pub fn bump_nat_arith(work: u64) { |
| 89 | #[cfg(not(target_os = "zkvm"))] |
| 90 | NAT_ARITH.with(|c| c.set(c.get().wrapping_add(work))); |
| 91 | #[cfg(target_os = "zkvm")] |
| 92 | let _ = work; |
| 93 | } |
| 94 | |
| 95 | /// Count one intern-table visit (called per node in `intern_expr` / |