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

Method decls

lean_py/z3/solver.py:525–526  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

523 evaluate = eval
524
525 def decls(self) -> list:
526 return []
527
528 def __len__(self) -> int:
529 return 0

Callers 1

test_decls_emptyMethod · 0.95

Calls

no outgoing calls

Tested by 1

test_decls_emptyMethod · 0.76