Function const_meta_name_does_not_affect_hash

crates/kernel/src/expr.rs:864–871

()

    ExprData::Str(val, _, _) => write!(f, "{val:?}"),
  }
}

fn collect_spine<M: KernelMode>(e: &KExpr<M>) -> (KExpr<M>, Vec<KExpr<M>>) {
  let mut args = Vec::new();
  let mut cur = e.clone();
  while let ExprData::App(func, arg, _) = cur.data() {
    args.push(arg.clone());
    cur = func.clone();
  }
  args.reverse();
  (cur, args)