def rp_over

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

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

142def rp_over(+s: Bool, +e: Nat, +sig: W.U64, over: Bool) -> F64:
143  match over:
144    case True{}:
145      inf(s)
146    case False{}:
147      rp_fin(s, Nat.sub(e, off()), sig)