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

Method num_entries

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

Source from the content-addressed store, hash-verified

1019 )
1020
1021 def num_entries(self) -> int:
1022 return 0
1023
1024 def entry(self, i: int) -> FuncEntry:
1025 raise NotImplementedError(

Callers 1

test_func_interp_num_entriesMethod · 0.95

Calls

no outgoing calls

Tested by 1

test_func_interp_num_entriesMethod · 0.76