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

Method __radd__

lean_py/z3/core.py:2265–2266  ·  view source on GitHub ↗
(self, other: str)

Source from the content-addressed store, hash-verified

2263 )
2264
2265 def __radd__(self, other: str) -> StringRef:
2266 return StringVal(other) + self
2267
2268
2269def StringSort() -> StringSortRef:

Callers

nothing calls this directly

Calls 1

StringValFunction · 0.85

Tested by

no test coverage detected