~/jendhub

def ar_small

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

import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64
import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X

1211def ar_small(+s: Bool, +w: W.U64, +k: Nat, +j: Nat) -> Result<&2, &2, N.NumError, Ratio>:
1212  Done{Ratio{s, X.shr(w, j), Nat.sub(k, j)}}

Uses (8)

Used by (1)