Function normalize_level

crates/kernel/src/level.rs:687–693

Normalize a universe level to Géran's canonical form.

(l: &KUniv<M>)

          return false;
        }
      },
      None => return false,
    }
  }
  true
}

/// Normalize a universe level to Géran's canonical form.
fn normalize_level<M: KernelMode>(l: &KUniv<M>) -> NormLevel {
  let mut acc = NormLevel::new();