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

Method __getitem__

lean_py/z3/core.py:789–790  ·  view source on GitHub ↗
(self, idx: ExprRef)

Source from the content-addressed store, hash-verified

787 super().__init__(ast, sort, vars)
788
789 def __getitem__(self, idx: ExprRef) -> ExprRef:
790 return Select(self, idx)
791
792
793class QuantifierRef(BoolRef):

Callers

nothing calls this directly

Calls 1

SelectFunction · 0.85

Tested by

no test coverage detected