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

Function is_string

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

Source from the content-addressed store, hash-verified

2536
2537
2538def is_string(a: ExprRef) -> bool:
2539 return isinstance(a, StringRef)
2540
2541
2542def is_string_value(a: ExprRef) -> bool:

Callers 4

test_string_variableMethod · 0.90
test_is_sort_typesMethod · 0.90
test_is_string_predicatesMethod · 0.90
test_string_varMethod · 0.90

Calls

no outgoing calls

Tested by 4

test_string_variableMethod · 0.72
test_is_sort_typesMethod · 0.72
test_is_string_predicatesMethod · 0.72
test_string_varMethod · 0.72