Function def_eq_ptr_eq

crates/kernel/src/def_eq.rs:1855–1860

()

    ExprData::FVar(id, _, _) => format!("{id}"),
    ExprData::Sort(u, _) => format!("Sort({u})"),
    ExprData::Const(id, us, _) => format!("{id}.{{{}}}", us.len()),
    ExprData::App(..) => "app".to_string(),
    ExprData::Lam(..) => "lam".to_string(),
    ExprData::All(..) => "forall".to_string(),
    ExprData::Let(..) => "let".to_string(),
    ExprData::Prj(id, field, val, _) => {
      format!("Prj({id}.{field}, {})", compact_def_eq_expr(val))
    },
    ExprData::Nat(v, _, _) => format!("Nat({})", v.0),