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

Class StrConcatNode

lean_py/z3/_ast.py:335–337  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

333
334@dataclass(frozen=True)
335class StrConcatNode:
336 lhs: ASTNode
337 rhs: ASTNode
338
339
340@dataclass(frozen=True)

Callers 2

_substitute_astFunction · 0.90
__add__Method · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected