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

Class StrSubstrNode

lean_py/z3/_ast.py:341–344  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

339
340@dataclass(frozen=True)
341class StrSubstrNode:
342 s: ASTNode
343 offset: ASTNode
344 length: ASTNode
345
346
347@dataclass(frozen=True)

Callers 2

_substitute_astFunction · 0.90
SubStringFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected