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

Function RoundTowardNegative

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

Source from the content-addressed store, hash-verified

3323
3324
3325def RoundTowardNegative(ctx: Context | None = None) -> FPRMRef:
3326 return FPRMRef("RoundTowardNegative")
3327
3328
3329def RTN(ctx: Context | None = None) -> FPRMRef:

Callers 2

test_rounding_mode_long_namesMethod · 0.90
RTNFunction · 0.85

Calls 1

FPRMRefClass · 0.85

Tested by 1

test_rounding_mode_long_namesMethod · 0.72