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

Class FuncDecl

lean_py/_parse.py:41–45  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

39
40
41@dataclass
42class FuncDecl:
43 name: str
44 return_type: str
45 params: list[FuncParam]
46 is_variadic: bool = False
47
48

Callers 1

_classifyFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected