()
| 175 | |
| 176 | #[test] |
| 177 | fn test_context_basic() { |
| 178 | let mut ctx = Context::new(); |
| 179 | |
| 180 | let name = SymbolId::new(0); |
| 181 | let ty = TermId::new(0); |
| 182 | |
| 183 | ctx.push_var(name, ty); |
| 184 | assert_eq!(ctx.len(), 1); |
| 185 | |
| 186 | let entry = ctx.lookup(0).unwrap(); |
| 187 | assert_eq!(entry.name, name); |
| 188 | assert_eq!(entry.ty, ty); |
| 189 | } |
| 190 | |
| 191 | #[test] |
| 192 | fn test_debruijn_indices() { |