()
| 1010 | assert_eq!(e.lbr(), 1); |
| 1011 | assert_eq!(e.count_0(), 1); |
| 1012 | } |
| 1013 | |
| 1014 | #[test] |
| 1015 | fn let_non_dep_distinguishes_hash() { |
| 1016 | let ty = AE::sort(AU::zero()); |
| 1017 | let val = AE::var(0, ()); |
| 1018 | let body = AE::var(0, ()); |
| 1019 | let a = AE::let_((), ty.clone(), val.clone(), body.clone(), true); |
| 1020 | let b = AE::let_((), ty, val, body, false); |