MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / HeaderModel

Class HeaderModel

lean_py/_parse.py:55–60  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

53
54
55@dataclass
56class HeaderModel:
57 structs: list[StructDef] = field(default_factory=list)
58 constants: dict[str, int] = field(default_factory=dict)
59 exported_functions: list[FuncDecl] = field(default_factory=list)
60 inline_functions: list[FuncDecl] = field(default_factory=list)
61 typedefs: list[TypedefDef] = field(default_factory=list)
62
63

Callers 1

_classifyFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected