()
| 17 | |
| 18 | #[test] |
| 19 | fn def_is_function() { |
| 20 | let source = "def square (n : Nat) : Nat := n * n\n"; |
| 21 | let result = extract(source); |
| 22 | assert!(result.errors.is_empty()); |
| 23 | let funcs = names_of(&result, NodeKind::Function); |
| 24 | assert_eq!(funcs, vec!["square".to_string()]); |
| 25 | } |
| 26 | |
| 27 | #[test] |
| 28 | fn theorem_is_function() { |