def nrp_exp

bend-collections@1.0.0.0 · src/math/f64.bend:171

import bend-collections@1.0.0.0/src/math/f64.bend as F64
import Base

171def nrp_exp(+e: Nat, +sd: Nat, z: Bool) -> Nat:
172  match z:
173    case True{}:
174      0n
175    case False{}:
176      Nat.sub(Nat.sub(e, sd), off())

Uses (4)

Used by (1)