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

Method __len__

lean_py/z3/core.py:3056–3057  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

3054 self._elems.append(v)
3055
3056 def __len__(self) -> int:
3057 return len(self._elems)
3058
3059 def __getitem__(self, i: int) -> Any:
3060 return self._elems[i]

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected