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

Function is_bool

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

Source from the content-addressed store, hash-verified

2472
2473
2474def is_bool(a: ExprRef) -> bool:
2475 return isinstance(a, BoolRef)
2476
2477
2478def is_bv(a: ExprRef) -> bool:

Callers 7

test_bool_variablesMethod · 0.90
test_is_sort_typesMethod · 0.90
test_is_sort_crossMethod · 0.90
test_consts_boolMethod · 0.90
test_bool_vectorMethod · 0.90
test_is_boolMethod · 0.90
test_fresh_boolMethod · 0.90

Calls

no outgoing calls

Tested by 7

test_bool_variablesMethod · 0.72
test_is_sort_typesMethod · 0.72
test_is_sort_crossMethod · 0.72
test_consts_boolMethod · 0.72
test_bool_vectorMethod · 0.72
test_is_boolMethod · 0.72
test_fresh_boolMethod · 0.72