Function name_replace_prefix

crates/compile/src/compile/aux_gen/nested.rs:1407–1416

Replace `old_prefix` in a Name with `new_prefix`. Example: `name_replace_prefix("A.B.mk", "A.B", "X.Y")` → `"X.Y.mk"`

(
  name: &Name,
  old_prefix: &Name,
  new_prefix: &Name,
)

/// diamond-shaped types (a `TensorProduct` with shared param subterms
/// fans out). With memoization each unique subterm is visited once.
fn has_out_of_scc_const(
  expr: &LeanExpr,
  in_scc_names: &std::collections::HashMap<Name, Name>,
  original_names: &std::collections::HashSet<Name>,
  cache: &mut FxHashMap<Hash, bool>,
) -> bool {
  let key = *expr.get_hash();
  if let Some(&cached) = cache.get(&key) {
    return cached;
  }
  let result = match expr.as_data() {
    ExprData::Const(name, _, _) => {
      original_names.contains(name) && !in_scc_names.contains_key(name)