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

Method __init__

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

Source from the content-addressed store, hash-verified

1011 """Function interpretation in a model."""
1012
1013 def __init__(self) -> None:
1014 pass
1015
1016 def else_value(self) -> Any:
1017 raise NotImplementedError(

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected