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

Function is_implies

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

Source from the content-addressed store, hash-verified

2516
2517
2518def is_implies(a: ExprRef) -> bool:
2519 return isinstance(a._ast, BinOpNode) and a._ast.op == BinOp.IMPLIES
2520
2521
2522def is_add(a: ExprRef) -> bool:

Callers 3

test_impliesMethod · 0.90
test_is_logical_opsMethod · 0.90
test_is_impliesMethod · 0.90

Calls

no outgoing calls

Tested by 3

test_impliesMethod · 0.72
test_is_logical_opsMethod · 0.72
test_is_impliesMethod · 0.72