Method record_whnf_hit

crates/kernel/src/perf.rs:98–100

(&self)

  // -----------------------------------------------------------------------

  pub fn record_whnf_hit(&self) {
    bump(&self.whnf_cache_hits);
  }

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