()
| 75 | |
| 76 | /// Count one `is_def_eq` entry. |
| 77 | #[inline(always)] |
| 78 | pub fn bump_def_eq() { |
| 79 | #[cfg(not(target_os = "zkvm"))] |
| 80 | DEF_EQ_CALLS.with(|c| c.set(c.get().wrapping_add(1))); |
| 81 | } |
| 82 | |
| 83 | /// Add `work` units of big-Nat arithmetic limb-work (called per native Nat |