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

Method __or__

lean_py/z3/core.py:410–411  ·  view source on GitHub ↗
(self, other: BoolRef)

Source from the content-addressed store, hash-verified

408 return And(self, other)
409
410 def __or__(self, other: BoolRef) -> BoolRef:
411 return Or(self, other)
412
413 def __invert__(self) -> BoolRef:
414 return Not(self)

Callers

nothing calls this directly

Calls 1

OrFunction · 0.85

Tested by

no test coverage detected