Method sort

crates/ixon/src/expr.rs:58–60

(univ_idx: u64)

/// Expression in the Ixon format.
///
/// This is the alpha-invariant representation of Lean expressions.
/// Names are stripped, binder info is stored in metadata.
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub enum Expr {
  /// Sort/Type at a universe level (index into Constant.univs table)
  Sort(u64),