()
| 166 | Address::hash(s.as_bytes()) |
| 167 | } |
| 168 | |
| 169 | #[test] |
| 170 | fn axio_accessors() { |
| 171 | let c = KConst::<Anon>::Axio { |
| 172 | name: (), |
| 173 | level_params: (), |
| 174 | is_unsafe: false, |
| 175 | lvls: 2, |
| 176 | ty: sort0(), |
| 177 | }; |
| 178 | assert_eq!(c.lvls(), 2); |
| 179 | assert_eq!(*c.name(), ()); |
| 180 | assert_eq!(*c.level_params(), ()); |
| 181 | assert!(matches!(c.ty().data(), super::super::expr::ExprData::Sort(..))); |
| 182 | } |
| 183 |