Function compare_ctor

crates/compile/src/compile.rs:2646–2669

Compare two constructors with result caching (keyed by name pair).

(
  x: &ConstructorVal,
  y: &ConstructorVal,
  mut_ctx: &MutCtx,
  cache: &mut BlockCache,
  stt: &CompileState,
)

  let surgery_sharing = std::mem::take(&mut cache.surgery_sharing);
  let meta_univs: Vec<Arc<Univ>> =
    std::mem::take(&mut cache.meta_univs).into_iter().collect();
  let univ_patches = std::mem::take(&mut cache.univ_patches);
  cache.arena_roots.clear();
  cache.exprs.clear();

  let name_addr = compile_name(&val.cnst.name, stt);
  let lvl_addrs: Vec<Address> =
    univ_params.iter().map(|n| compile_name(n, stt)).collect();

  let data =
    Axiom { is_unsafe: val.is_unsafe, lvls: univ_params.len() as u64, typ };

  let mut meta = ConstantMeta::new(ConstantMetaInfo::Axio {
    name: name_addr,
    lvls: lvl_addrs,
    arena,
    type_root,
  });
  meta.meta_sharing = surgery_sharing;
  meta.meta_univs = meta_univs;
  meta.univ_patches = univ_patches;

  Ok((data, meta))
}

/// Compile a Quotient.
fn compile_quotient(