Function prop_univ_eq_reflexive

crates/kernel/src/level.rs:1076–1082

()

  }

  #[test]
  fn univ_geq_param() {
    let p = AU::param(0, ());
    let sp = AU::succ(p.clone());
    assert!(univ_geq(&sp, &p));
    assert!(!univ_geq(&p, &sp));
  }

  // ---- Meta mode Géran (names don't affect semantic equality) ----