Function sort_hash

crates/kernel/src/expr.rs:849–854

()

        write!(f, "_")?;
      }
      write!(f, " : ")?;
      fmt_expr(ty, f, depth + 1)?;
      write!(f, " := ")?;
      fmt_expr(val, f, depth + 1)?;
      write!(f, " in ")?;
      fmt_expr(body, f, depth + 1)?;
      write!(f, ")")
    },
    ExprData::Prj(id, field, val, _) => {