~/jendhub

def round.fin

bend-lawful-stdlib@0.1.0.0 · src/float/format.bend:79

import bend-lawful-stdlib@0.1.0.0/src/float/format.bend as Format
import Base
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

79def round.fin(+top: Nat, neg: Bool, +t: Nat, qrs: Bin.Bin & Bool & Bool) -> Val:
80  (+q, r, s) = qrs
81  over(top, neg, round.up(q, Bool.and(r, Bool.or(s, Bin.odd(q)))), t)

Uses (11)

Used by (1)