Method record_whnf_miss

crates/kernel/src/perf.rs:102–104

(&self)

  }

  pub fn record_whnf_miss(&self) {
    bump(&self.whnf_cache_misses);
  }

  pub fn record_whnf_no_delta_hit(&self) {
    bump(&self.whnf_no_delta_cache_hits);