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

Function RTN

lean_py/z3/core.py:3329–3330  ·  view source on GitHub ↗
(ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3327
3328
3329def RTN(ctx: Context | None = None) -> FPRMRef:
3330 return RoundTowardNegative(ctx)
3331
3332
3333def RoundTowardZero(ctx: Context | None = None) -> FPRMRef:

Callers 1

test_rounding_modesMethod · 0.90

Calls 1

RoundTowardNegativeFunction · 0.85

Tested by 1

test_rounding_modesMethod · 0.72