MCPcopy Create free account
hub / github.com/ScriptedAlchemy/tracedecay / extract

Function extract

tests/extraction_suite/lean.rs:5–7  ·  view source on GitHub ↗
(source: &str)

Source from the content-addressed store, hash-verified

3use tracedecay::types::*;
4
5fn extract(source: &str) -> ExtractionResult {
6 LeanExtractor.extract("Demo.lean", source)
7}
8
9fn names_of(result: &ExtractionResult, kind: NodeKind) -> Vec<String> {
10 result

Callers 15

def_is_functionFunction · 0.70
theorem_is_functionFunction · 0.70
structure_is_structFunction · 0.70
axiom_is_constFunction · 0.70
inductive_is_enumFunction · 0.70
namespace_creates_module_and_parents_childrenFunction · 0.70
nested_namespaces_parent_correctlyFunction · 0.70
import_emits_uses_edgeFunction · 0.70
empty_file_produces_only_file_nodeFunction · 0.70
anonymous_instance_emits_nothingFunction · 0.70
named_instance_is_constFunction · 0.70
anonymous_section_emits_no_module_but_recurses_bodyFunction · 0.70

Calls 1

extractMethod · 0.45

Tested by 15

def_is_functionFunction · 0.56
theorem_is_functionFunction · 0.56
structure_is_structFunction · 0.56
axiom_is_constFunction · 0.56
inductive_is_enumFunction · 0.56
namespace_creates_module_and_parents_childrenFunction · 0.56
nested_namespaces_parent_correctlyFunction · 0.56
import_emits_uses_edgeFunction · 0.56
empty_file_produces_only_file_nodeFunction · 0.56
anonymous_instance_emits_nothingFunction · 0.56
named_instance_is_constFunction · 0.56
anonymous_section_emits_no_module_but_recurses_bodyFunction · 0.56