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

Class SeqContainsNode

lean_py/z3/_ast.py:527–529  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

525
526@dataclass(frozen=True)
527class SeqContainsNode:
528 haystack: ASTNode
529 needle: ASTNode
530
531
532@dataclass(frozen=True)

Callers 1

ContainsFunction · 0.90

Calls

no outgoing calls

Tested by

no test coverage detected