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

Function RTZ

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

Source from the content-addressed store, hash-verified

3335
3336
3337def RTZ(ctx: Context | None = None) -> FPRMRef:
3338 return RoundTowardZero(ctx)
3339
3340
3341def _fp_op(name: str, *args: ExprRef) -> FPRef:

Callers 1

test_rounding_modesMethod · 0.90

Calls 1

RoundTowardZeroFunction · 0.85

Tested by 1

test_rounding_modesMethod · 0.72