Method record_whnf_core_hit

crates/kernel/src/perf.rs:114–116

(&self)

  }

  pub fn record_whnf_core_hit(&self) {
    bump(&self.whnf_core_cache_hits);
  }

  pub fn record_whnf_core_miss(&self) {
    bump(&self.whnf_core_cache_misses);