()
| 844 | let anon = AU::param(0, ()); |
| 845 | let meta = MU::param(0, Name::anon()); |
| 846 | assert_eq!( |
| 847 | super::super::env::univ_key(&anon), |
| 848 | super::super::env::univ_key(&meta) |
| 849 | ); |
| 850 | } |
| 851 | |
| 852 | // ---- PartialEq ---- |
| 853 | |
| 854 | #[test] |
| 855 | fn eq_by_hash() { |
| 856 | let a = MU::succ(MU::zero()); |
| 857 | let b = MU::succ(MU::zero()); |
| 858 | assert_eq!(a, b); |