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

Function is_array

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

Source from the content-addressed store, hash-verified

2480
2481
2482def is_array(a: ExprRef) -> bool:
2483 return isinstance(a, ArrayRef)
2484
2485
2486def is_const(a: ExprRef) -> bool:

Callers 7

test_array_creationMethod · 0.90
test_map_function_over_arrayMethod · 0.90
test_as_arrayMethod · 0.90
test_is_sort_typesMethod · 0.90
test_is_arrayMethod · 0.90
test_map_basicMethod · 0.90
test_as_array_basicMethod · 0.90

Calls

no outgoing calls

Tested by 7

test_array_creationMethod · 0.72
test_map_function_over_arrayMethod · 0.72
test_as_arrayMethod · 0.72
test_is_sort_typesMethod · 0.72
test_is_arrayMethod · 0.72
test_map_basicMethod · 0.72
test_as_array_basicMethod · 0.72