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

Class StrContainsNode

lean_py/z3/_ast.py:310–312  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

308
309@dataclass(frozen=True)
310class StrContainsNode:
311 haystack: ASTNode
312 needle: ASTNode
313
314
315@dataclass(frozen=True)

Callers 2

_substitute_astFunction · 0.90
ContainsFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected