Function compute_hash_consed_size

crates/compile/src/compile.rs:1598–1602

Compute the hash-consed size from the info_map. This is the theoretical size if each unique subterm were stored once in a content-addressed store. Each unique expression = 32-byte key + value (with 32-byte hash references for children/externals).

(
  info_map: &std::collections::HashMap<blake3::Hash, sharing::SubtermInfo>,
)

              }
            })?;

            let (ref_idx, _) = cache.refs.insert_full(type_addr.clone());
            let name_addr = compile_name(type_name, stt);

            stack.push(Frame::BuildProj(ref_idx as u64, idx_u64, name_addr));
            stack.push(Frame::Compile(struct_val.clone()));
          },