Function new_tc

crates/kernel/src/tc.rs:1173–1176

()

    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, _, _) => format!("Prj({id}.{field})"),
    ExprData::Nat(v, _, _) => format!("Nat({})", v.0),
    ExprData::Str(v, _, _) => format!("Str(len={})", v.len()),
  };