Class BlockEntry

crates/kernel/src/profile.rs:125–138

  }
}

/// Read and reset the thread-local op counters (call at each constant boundary).
pub fn take_op_counts() -> OpCounts {
  #[cfg(not(target_os = "zkvm"))]
  {
    OpCounts {
      subst_nodes: SUBST_NODES.with(|c| c.replace(0)),
      whnf_calls: WHNF_CALLS.with(|c| c.replace(0)),
      def_eq_calls: DEF_EQ_CALLS.with(|c| c.replace(0)),
      nat_arith: NAT_ARITH.with(|c| c.replace(0)),
      intern_nodes: INTERN_NODES.with(|c| c.replace(0)),
    }
  }
  #[cfg(target_os = "zkvm")]
  OpCounts::default()
}