Method to_unique_name

crates/common/src/address.rs:63–69

Build a deterministic, collision-resistant `Name` for this address: `Ix._#. `. Mirrors Lean-side `Ix.Address.toUniqueName`. Use this when you need to register a KId/Named entry at a synthetic name that can't collide with any Lean-originated name (e.g. for scratch `KEnv` entries that should not participate in the `name_to_addr` / `aux_name_to_addr` namespace).

(&self)

  /// scratch `KEnv` entries that should not participate in the
  /// `name_to_addr` / `aux_name_to_addr` namespace).
  pub fn to_unique_name(&self) -> crate::env::Name {
    use crate::env::Name;
    Name::str(
      Name::str(Name::str(Name::anon(), "Ix".to_string()), "_#".to_string()),
      self.hex(),
    )
  }

  /// Inverse of `to_unique_name`. Returns `Some(Address)` iff `name` has
  /// shape `Ix._#.<hex>` with valid 64-char hex; otherwise `None`.