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

Function is_fp_value

lean_py/z3/core.py:4110–4111  ·  view source on GitHub ↗
(a: object)

Source from the content-addressed store, hash-verified

4108
4109
4110def is_fp_value(a: object) -> bool:
4111 return isinstance(a, FPNumRef)
4112
4113
4114def is_seq(a: object) -> bool:

Callers 1

test_is_fp_valueMethod · 0.90

Calls

no outgoing calls

Tested by 1

test_is_fp_valueMethod · 0.72