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

Method __abs__

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

Source from the content-addressed store, hash-verified

3180 return self
3181
3182 def __abs__(self) -> FPRef:
3183 return fpAbs(self)
3184
3185 def __lt__(self, other: Any) -> BoolRef:
3186 return fpLT(self, other)

Callers

nothing calls this directly

Calls 1

fpAbsFunction · 0.85

Tested by

no test coverage detected