()
| 327 | |
| 328 | #[test] |
| 329 | fn test_duplicate_declaration() { |
| 330 | let mut env = Environment::new(); |
| 331 | |
| 332 | let name = SymbolId::new(0); |
| 333 | let decl = Declaration::axiom(name, vec![], TermId::new(0)); |
| 334 | |
| 335 | env.add_decl(decl.clone()).unwrap(); |
| 336 | let result = env.add_decl(decl); |
| 337 | |
| 338 | assert!(result.is_err()); |
| 339 | } |
| 340 | |
| 341 | #[test] |
| 342 | fn test_environment_fork() { |