Function level_zero_matches

crates/kernel/src/congruence.rs:414–419

()

  #[test]
  fn level_zero_matches() {
    let r = empty_resolver();
    let ll = LL::zero();
    let lu = KUniv::<Anon>::zero();
    level_congruent(&ll, &lu, &r).unwrap();
  }

  #[test]
  fn level_succ_matches() {