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

Method __hash__

lean_py/marshal.py:288–289  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

286 return NotImplemented
287
288 def __hash__(self) -> int:
289 return hash((self._type_name, self.tag, self.fields))
290
291
292# ============================================================================

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected