~/jendhub

def div.go

bend-kit-f64@0.1.0.0 · f64.bend:479

import bend-kit-f64@0.1.0.0/f64.bend as F64
import Base

479def div.go(k: Nat, st: Step, +mb: W2, +ma: W2) -> W4 & Bool:
480  match k:
481    case 0n:
482      div.finish(st)
483    case 1n+p:
484      +q = p
485      div.go(q, div.advance(q, st, mb, ma), mb, ma)

Uses (8)

Used by (1)