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

Function is_const_array

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

Source from the content-addressed store, hash-verified

4120
4121
4122def is_const_array(a: object) -> bool:
4123 return isinstance(a, ExprRef) and isinstance(a._ast, ConstArrayNode)
4124
4125
4126def is_K(a: object) -> bool:

Callers 2

test_is_const_arrayMethod · 0.90
is_KFunction · 0.85

Calls

no outgoing calls

Tested by 1

test_is_const_arrayMethod · 0.72