Method whnf_key

crates/kernel/src/tc.rs:358–360

(&mut self, e: &KExpr<M>)

  ///     `try_proof_irrel` — those callees use their argument's own lbr, which
  ///     is `≤ e.lbr`, so the WHNF suffix dominates;
  /// (3) native reduction body unfold — closed body, no context dependence.
  ///
  /// Sharing two distinct outer contexts that share a relevant suffix is the
  /// payoff: the same WHNF subterm can hit cache across them.
  #[inline]
  pub fn whnf_key(&mut self, e: &KExpr<M>) -> (Addr, CtxAddr) {