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

Function is_const

lean_py/z3/core.py:2486–2487  ·  view source on GitHub ↗
(a: ExprRef)

Source from the content-addressed store, hash-verified

2484
2485
2486def is_const(a: ExprRef) -> bool:
2487 return isinstance(a._ast, _AstVar)
2488
2489
2490def is_var(a: ExprRef) -> bool:

Callers 3

test_is_const_varMethod · 0.90
test_is_const_varMethod · 0.90
test_fresh_const_is_varMethod · 0.90

Calls

no outgoing calls

Tested by 3

test_is_const_varMethod · 0.72
test_is_const_varMethod · 0.72
test_fresh_const_is_varMethod · 0.72