Class UPrng

crates/kernel/src/level.rs:1028–1028

  /// Evaluate a level under a concrete assignment of parameter indices
  /// to naturals (`imax(a,b) = 0` when `b = 0`). Used to certify test
  /// vectors semantically, independent of the comparator under test.
  fn eval_level(l: &AU, assign: &[u64]) -> u64 {
    match l.data() {
      UnivData::Zero(_) => 0,