Function addr

crates/kernel/src/profile.rs:512–514

(byte: u8)

  pub producers: FxHashSet<Address>,
  /// Richer cost features (substitution-node visits, whnf/def-eq calls),
  /// recorded on every native profiling run; compiled out (all zero) on the
  /// zkvm target.
  pub ops: OpCounts,
}

impl ProfileSink {