Function n

crates/kernel/src/congruence.rs:381–383

`Nat` from a u64 via the public `From ` impl. (The `Nat` type itself is a private re-export in `env.rs`.)

(x: u64)

  /// `Nat` from a u64 via the public `From<u64>` impl.
  /// (The `Nat` type itself is a private re-export in `env.rs`.)
  fn n(x: u64) -> bignat::Nat {
    bignat::Nat::from(x)
  }

  // ---- test helpers ----