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

Class FuncParam

lean_py/_parse.py:35–37  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

33
34
35@dataclass
36class FuncParam:
37 name: str
38 c_type: str
39
40

Callers 1

_extract_func_paramsFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected