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

Class StructDef

lean_py/_parse.py:29–31  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

27
28
29@dataclass
30class StructDef:
31 name: str
32 fields: list[StructField]
33
34

Callers 1

_extract_structFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected