def nrp_exp

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

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())