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

Function FiniteSetRange

lean_py/z3/core.py:3760–3762  ·  view source on GitHub ↗

Finite set range (not supported).

(f: Any, lo: Any, hi: Any)

Source from the content-addressed store, hash-verified

3758
3759
3760def FiniteSetRange(f: Any, lo: Any, hi: Any) -> ArrayRef:
3761 """Finite set range (not supported)."""
3762 raise NotImplementedError("FiniteSetRange is not supported")
3763
3764
3765def is_finite_set(a: object) -> bool:

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected