Function theorem_is_function

tests/extraction_suite/lean.rs:28–33

()

#[test]
fn theorem_is_function() {
    let source = "theorem foo : 1 + 1 = 2 := by rfl\n";
    let result = extract(source);
    let funcs = names_of(&result, NodeKind::Function);
    assert_eq!(funcs, vec!["foo".to_string()]);
}

#[test]
fn structure_is_struct() {