Function names_of

tests/extraction_suite/lean.rs:9–16

(result: &ExtractionResult, kind: NodeKind)

}

fn names_of(result: &ExtractionResult, kind: NodeKind) -> Vec<String> {
    result
        .nodes
        .iter()
        .filter(|n| n.kind == kind)
        .map(|n| n.name.clone())
        .collect()
}

#[test]
fn def_is_function() {