Function def_eq_sort_diff

crates/kernel/src/def_eq.rs:1872–1878

()

      .iter()
      .take(6)
      .map(compact_def_eq_head)
      .collect::<Vec<_>>()
      .join(", ");
    let more = if args.len() > 6 { ", ..." } else { "" };
    format!("{base}/{} [{shown}{more}]@{}", args.len(), short_def_eq_addr(e))
  }
}

fn compact_def_eq_head<M: KernelMode>(e: &KExpr<M>) -> String {
  let (head, args) = collect_app_spine(e);