Method ptr_eq

crates/kernel/src/expr.rs:147–149

(&self, other: &KExpr<M>)

}

/// Expression data. Each variant carries its [`ExprInfo<M>`].
#[derive(Clone, Debug)]
pub enum ExprData<M: KernelMode> {
  Var(u64, M::MField<Name>, ExprInfo<M>),
  /// Free variable: opaque identity from the active local context.
  /// `FVarId` participates in the content hash; the user-facing `Name` is