Method len

lean_py/z3/solver.py:528–529 · view source on GitHub ↗

(self)

Source from the content-addressed store, hash-verified

526	return []
527
528	def __len__(self) -> int:
529	return 0
530
531	def __contains__(self, key: Any) -> bool:
532	return False

nothing calls this directly

no outgoing calls

no test coverage detected