()
| 34 | |
| 35 | #[test] |
| 36 | fn structure_is_struct() { |
| 37 | let source = "structure Point where\n x : Nat\n y : Nat\n"; |
| 38 | let result = extract(source); |
| 39 | let structs = names_of(&result, NodeKind::Struct); |
| 40 | assert_eq!(structs, vec!["Point".to_string()]); |
| 41 | } |
| 42 | |
| 43 | #[test] |
| 44 | fn axiom_is_const() { |