Method infer_key

crates/kernel/src/tc.rs:369–371

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

  /// Type-inference cache key: (expr_hash, ctx_hash).
  /// Closed expressions (lbr == 0) are context-independent. For open
  /// expressions, only the context suffix reachable from their loose bound
  /// variables matters. The suffix length is closed over binder type/value
  /// dependencies, so two equal open subterms can share an infer result across
  /// different outer binders when the relevant local suffix is identical.
  #[inline]
  pub fn infer_key(&mut self, e: &KExpr<M>) -> (Addr, CtxAddr) {