Method num

crates/common/src/env.rs:174–181

Constructs a name by appending a numeric component to `pre`.

(pre: Name, n: Nat)

  /// Constructs a name by appending a numeric component to `pre`.
  pub fn num(pre: Name, n: Nat) -> Name {
    let mut hasher = blake3::Hasher::new();
    hasher.update(&[NNUM]);
    hasher.update(pre.get_hash().as_bytes());
    hasher.update(&n.to_le_bytes());
    let hash = hasher.finalize();
    Name(Arc::new(NameData::Num(pre, n, hash)))
  }
  /// Decompose this name into its components (from root to leaf).
  pub fn components(&self) -> Vec<NameComponent> {
    let mut components = Vec::new();