Function const_hash

crates/kernel/src/expr.rs:857–861

()

      write!(f, ")")
    },
    ExprData::Prj(id, field, val, _) => {
      fmt_expr(val, f, depth + 1)?;
      write!(f, ".{field}@{id}")
    },
    ExprData::Nat(val, _, _) => write!(f, "{val}"),
    ExprData::Str(val, _, _) => write!(f, "{val:?}"),
  }
}