Function expr_hash_prefix

crates/ffi/src/lean_env.rs:2568–2573

(expr: &Arc<ixon::expr::Expr>)

        if class.len() <= 1 {
          passes.fetch_add(1, Ordering::Relaxed);
          continue;
        }

        let addrs: Vec<_> =
          class.iter().map(|name| (name, stt.resolve_addr(name))).collect();

        let first_addr = &addrs[0].1;
        if addrs.iter().all(|(_, a)| a == first_addr) {
          passes.fetch_add(1, Ordering::Relaxed);