Method next_u32

crates/kernel/src/level.rs:1041–1046

(&mut self, bound: u32)

  //
  // Use a deterministic seeded generator (xorshift) to produce randomized
  // `KUniv<Anon>` values of bounded depth and check algebraic laws:
  // reflexivity, symmetry of equality, transitivity of geq, and interaction
  // between geq and eq.
  // =========================================================================

  struct UPrng(u64);
  impl UPrng {
    fn new(seed: u64) -> Self {
      UPrng(seed.wrapping_mul(0x9E37_79B9_7F4A_7C15) ^ 0xDEAD_BEEF_CAFE_BABE)