Class FVarId

crates/kernel/src/expr.rs:57–57

    IxonUniv::Succ(inner) => {
      hasher.update(&[1]);
      hash_ixon_univ(inner, hasher);
    },
    IxonUniv::Max(a, b) => {
      hasher.update(&[2]);