Class Node

crates/kernel/src/level.rs:310–313

}

// Géran's canonical-form normalization and comparison
#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]
struct VarNode {
  idx: u64,
  offset: u64,
}