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

Method __radd__

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

Source from the content-addressed store, hash-verified

3162 return fpAdd(RNE(), self, other)
3163
3164 def __radd__(self, other: Any) -> FPRef:
3165 return fpAdd(RNE(), other, self)
3166
3167 def __sub__(self, other: Any) -> FPRef:
3168 return fpSub(RNE(), self, other)

Callers

nothing calls this directly

Calls 2

fpAddFunction · 0.85
RNEFunction · 0.85

Tested by

no test coverage detected