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

Function inductive_is_enum

tests/extraction_suite/lean.rs:52–57  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

50
51#[test]
52fn inductive_is_enum() {
53 let source = "inductive Color where\n | Red\n | Green\n | Blue\n";
54 let result = extract(source);
55 let enums = names_of(&result, NodeKind::Enum);
56 assert_eq!(enums, vec!["Color".to_string()]);
57}
58
59#[test]
60fn namespace_creates_module_and_parents_children() {

Callers

nothing calls this directly

Calls 2

extractFunction · 0.70
names_ofFunction · 0.70

Tested by

no test coverage detected