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

Method __len__

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

Source from the content-addressed store, hash-verified

3094 return k in self._map
3095
3096 def __len__(self) -> int:
3097 return len(self._map)
3098
3099 def __repr__(self) -> str:
3100 return repr(self._map)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected