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

Function is_expr

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

Source from the content-addressed store, hash-verified

2452
2453
2454def is_expr(a: object) -> bool:
2455 return isinstance(a, ExprRef)
2456
2457
2458def is_true(a: ExprRef) -> bool:

Callers 2

test_is_expr_variousMethod · 0.90
test_is_exprMethod · 0.90

Calls

no outgoing calls

Tested by 2

test_is_expr_variousMethod · 0.72
test_is_exprMethod · 0.72