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

Method __le__

lean_py/z3/core.py:3188–3189  ·  view source on GitHub ↗
(self, other: Any)

Source from the content-addressed store, hash-verified

3186 return fpLT(self, other)
3187
3188 def __le__(self, other: Any) -> BoolRef:
3189 return fpLEQ(self, other)
3190
3191 def __gt__(self, other: Any) -> BoolRef:
3192 return fpGT(self, other)

Callers

nothing calls this directly

Calls 1

fpLEQFunction · 0.85

Tested by

no test coverage detected