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

Function Strings

lean_py/z3/core.py:2278–2279  ·  view source on GitHub ↗
(names: str)

Source from the content-addressed store, hash-verified

2276
2277
2278def Strings(names: str) -> tuple[StringRef, ...]:
2279 return tuple(String(n) for n in names.split())
2280
2281
2282def StringVal(s: str) -> StringRef:

Callers 3

test_strings_helperMethod · 0.90
test_stringsMethod · 0.90
test_concat_assocMethod · 0.90

Calls 1

StringFunction · 0.85

Tested by 3

test_strings_helperMethod · 0.72
test_stringsMethod · 0.72
test_concat_assocMethod · 0.72