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

Class StringLit

lean_py/z3/_ast.py:300–301  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

298
299@dataclass(frozen=True)
300class StringLit:
301 val: str
302
303
304@dataclass(frozen=True)

Callers 1

StringValFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected