Method record_whnf_core_miss

crates/kernel/src/perf.rs:118–120

(&self)

  }

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

  // -----------------------------------------------------------------------
  // Infer caches