bend-kit-f64 Releases (1): 0.1.0.0 0x737bc789819508f0aebd4ad15d19e26f indexed https://jend.leeeet.dev/files.txt?path=bend-kit-f64@0.1.0.0 Definitions (210, 1 to 100 shown): F64.W2 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2) type W2 is Data: W2{hi: U32, lo: U32} F64.W4 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4) type W4 is Data: W4{a: U32, b: U32, c: U32, d: U32} F64.Limb (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Limb) type Limb is Data: Limb{s: U32, c: U32} F64.Step (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Step) type Step is Data: Step{rem: W2, q: W4} F64.Cls (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Cls) type Cls is Data: Fin{} Inf{} Nan{} F64.Parts (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Parts) type Parts is Data: Parts{kind: Cls, sign: U32, exp: U32, sig: W2} F64.Norm (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Norm) type Norm is Data: Norm{sign: U32, exp: U32, w: W4, sticky: Bool} F64.F64 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64) type F64 is Data: F64{hi: U32, lo: U32} F64.u01 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=u01) def u01(b: Bool) -> U32: F64.clz.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=clz.go) def clz.go(k: Nat, z: Bool, n: U32, +x: U32) -> U32: F64.clz (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=clz) def clz(+x: U32) -> U32: F64.F64.nan (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64.nan) def F64.nan() -> F64: F64.F64.inf.pos (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64.inf.pos) def F64.inf.pos(pos: Bool) -> F64: F64.F64.inf.sign (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64.inf.sign) def F64.inf.sign(sign: U32) -> F64: F64.F64.zero.sign (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64.zero.sign) def F64.zero.sign(sign: U32) -> F64: F64.F64.pack (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64.pack) def F64.pack(sign: U32, exp: U32, sh: U32, sl: U32) -> F64: F64.F64.hi (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64.hi) def F64.hi(a: F64) -> U32: F64.F64.lo (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64.lo) def F64.lo(a: F64) -> U32: F64.W2.nz (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.nz) def W2.nz(w: W2) -> Bool: F64.W2.bit.at (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.bit.at) def W2.bit.at(low: Bool, n: U32, hi: U32, lo: U32) -> U32: F64.W2.bit (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.bit) def W2.bit(w: W2, +n: U32) -> U32: F64.W2.ge.eq (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.ge.eq) def W2.ge.eq(eq: Bool, al: U32, bl: U32) -> Bool: F64.W2.ge.hi (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.ge.hi) def W2.ge.hi(gt: Bool, eq: Bool, al: U32, bl: U32) -> Bool: F64.W2.ge (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.ge) def W2.ge(a: W2, b: W2) -> Bool: F64.W2.sub.of (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.sub.of) def W2.sub.of(ah: U32, bh: U32, al: U32, bl: U32, lo: U32) -> W2: F64.W2.sub (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.sub) def W2.sub(a: W2, b: W2) -> W2: F64.W2.shl1 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.shl1) def W2.shl1(w: W2, bit: U32) -> W2: F64.W2.shl.small (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.shl.small) def W2.shl.small(z: Bool, +k: U32, hi: U32, +lo: U32) -> W2: F64.W2.shl.big (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.shl.big) def W2.shl.big(big: Bool, +k: U32, w: W2) -> W2: F64.W2.shl (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.shl) def W2.shl(w: W2, +k: U32) -> W2: F64.W2.msb.hi (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.msb.hi) def W2.msb.hi(z: Bool, hi: U32, lo: U32) -> U32: F64.W2.msb (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.msb) def W2.msb(w: W2) -> U32: F64.W2.inc.carry (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.inc.carry) def W2.inc.carry(z: Bool, hi: U32, lo: U32) -> W2: F64.W2.inc.of (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.inc.of) def W2.inc.of(hi: U32, +lo: U32) -> W2: F64.W2.inc (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2.inc) def W2.inc(w: W2) -> W2: F64.W4.nz (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.nz) def W4.nz(w: W4) -> Bool: F64.W4.shl1 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shl1) def W4.shl1(w: W4) -> W4: F64.W4.set0 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.set0) def W4.set0(w: W4) -> W4: F64.Limb.add.s (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Limb.add.s) def Limb.add.s(+x: U32, c: U32, +s1: U32) -> Limb: F64.Limb.add (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Limb.add) def Limb.add(+x: U32, y: U32, c: U32) -> Limb: F64.Limb.sub.s (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Limb.sub.s) def Limb.sub.s(x: U32, y: U32, +br: U32, +s1: U32) -> Limb: F64.Limb.sub (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Limb.sub) def Limb.sub(+x: U32, +y: U32, br: U32) -> Limb: F64.W4.add.a (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.add.a) def W4.add.a(d: U32, c: U32, b: U32, limb: Limb) -> W4: F64.W4.add.b (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.add.b) def W4.add.b(xa: U32, ya: U32, d: U32, c: U32, limb: Limb) -> W4: F64.W4.add.c (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.add.c) def W4.add.c(xa: U32, xb: U32, ya: U32, yb: U32, d: U32, limb: Limb) -> W4: F64.W4.add.d (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.add.d) def W4.add.d(xa: U32, xb: U32, xc: U32, ya: U32, yb: U32, yc: U32, limb: Limb) -> W4: F64.W4.add (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.add) def W4.add(x: W4, y: W4) -> W4: F64.W4.sub.a (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.sub.a) def W4.sub.a(d: U32, c: U32, b: U32, limb: Limb) -> W4: F64.W4.sub.b (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.sub.b) def W4.sub.b(xa: U32, ya: U32, d: U32, c: U32, limb: Limb) -> W4: F64.W4.sub.c (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.sub.c) def W4.sub.c(xa: U32, xb: U32, ya: U32, yb: U32, d: U32, limb: Limb) -> W4: F64.W4.sub.d (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.sub.d) def W4.sub.d(xa: U32, xb: U32, xc: U32, ya: U32, yb: U32, yc: U32, limb: Limb) -> W4: F64.W4.sub (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.sub) def W4.sub(x: W4, y: W4) -> W4: F64.W4.one (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.one) def W4.one() -> W4: F64.W4.drop1 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.drop1) def W4.drop1(w: W4) -> W4 & Bool: F64.W4.drop2 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.drop2) def W4.drop2(w: W4) -> W4 & Bool: F64.W4.drop3 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.drop3) def W4.drop3(w: W4) -> W4 & Bool: F64.W4.shr.bits.out (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr.bits.out) def W4.shr.bits.out(+k: Nat, +j: Nat, +a: U32, +b: U32, +c: U32, d: U32, lost: Bool, low: U32) -> W4 & Bool: F64.W4.shr.bits.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr.bits.go) def W4.shr.bits.go(+k: Nat, j: Nat, w: W4, lost: Bool) -> W4 & Bool: F64.W4.shr.bits.z (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr.bits.z) def W4.shr.bits.z(z: Bool, +k: U32, w: W4, lost: Bool) -> W4 & Bool: F64.W4.shr.bits (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr.bits) def W4.shr.bits(+k: U32, w: W4, lost: Bool) -> W4 & Bool: F64.W4.shr.pair (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr.pair) def W4.shr.pair(bits: U32, r: W4 & Bool) -> W4 & Bool: F64.W4.shr.limbs (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr.limbs) def W4.shr.limbs(k: Nat, bits: U32, w: W4) -> W4 & Bool: F64.W4.shr.wide (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr.wide) def W4.shr.wide(wide: Bool, +n: U32, w: W4) -> W4 & Bool: F64.W4.shr (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr) def W4.shr(w: W4, +n: U32) -> W4 & Bool: F64.W4.slide1 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.slide1) def W4.slide1(w: W4) -> W4: F64.W4.slide2 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.slide2) def W4.slide2(w: W4) -> W4: F64.W4.slide3 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.slide3) def W4.slide3(w: W4) -> W4: F64.W4.shl.bits.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shl.bits.go) def W4.shl.bits.go(+k: Nat, +j: Nat, w: W4) -> W4: F64.W4.shl.bits.z (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shl.bits.z) def W4.shl.bits.z(z: Bool, +k: U32, w: W4) -> W4: F64.W4.shl.bits (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shl.bits) def W4.shl.bits(+k: U32, w: W4) -> W4: F64.W4.shl.limbs (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shl.limbs) def W4.shl.limbs(k: Nat, bits: U32, w: W4) -> W4: F64.W4.shl.wide (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shl.wide) def W4.shl.wide(wide: Bool, +n: U32, w: W4) -> W4: F64.W4.shl (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shl) def W4.shl(w: W4, +n: U32) -> W4: F64.W4.msb.d (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.msb.d) def W4.msb.d(z: Bool, d: U32) -> Maybe<&2, U32>: F64.W4.msb.c (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.msb.c) def W4.msb.c(z: Bool, c: U32, +d: U32) -> Maybe<&2, U32>: F64.W4.msb.b (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.msb.b) def W4.msb.b(z: Bool, b: U32, +c: U32, d: U32) -> Maybe<&2, U32>: F64.W4.msb.a (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.msb.a) def W4.msb.a(z: Bool, a: U32, +b: U32, c: U32, d: U32) -> Maybe<&2, U32>: F64.W4.msb (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.msb) def W4.msb(w: W4) -> Maybe<&2, U32>: F64.mul32.of (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul32.of) def mul32.of(+p00: U32, +p01: U32, +p10: U32, +p11: U32) -> W2: F64.mul32 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul32) def mul32(+x: U32, +y: U32) -> W2: F64.mul.sum6 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.sum6) def mul.sum6(d: U32, c: U32, h11: U32, b12: U32, limb: Limb) -> W4: F64.mul.sum5 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.sum5) def mul.sum5(d: U32, c: U32, h11: U32, +b: U32, b12: U32, carry: U32) -> W4: F64.mul.sum4 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.sum4) def mul.sum4(d: U32, c: U32, h11: U32, b1: U32, carry: U32, limb: Limb) -> W4: F64.mul.sum3 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.sum3) def mul.sum3(d: U32, c: U32, h10: U32, h11: U32, carry: U32, limb: Limb) -> W4: F64.mul.sum2 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.sum2) def mul.sum2(d: U32, c1: U32, h01: U32, h10: U32, h11: U32, l11: U32, limb: Limb) -> W4: F64.mul.sum1 (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.sum1) def mul.sum1(d: U32, h01: U32, l10: U32, h10: U32, h11: U32, l11: U32, limb: Limb) -> W4: F64.mul.acc (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.acc) def mul.acc(p00: W2, p01: W2, p10: W2, p11: W2) -> W4: F64.mul.wide (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.wide) def mul.wide(+xh: U32, +xl: U32, +yh: U32, +yl: U32) -> W4: F64.div.bit.small (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=div.bit.small) def div.bit.small(small: Bool, idx: U32, ma: W2) -> U32: F64.div.bit (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=div.bit) def div.bit(+p: Nat, ma: W2) -> U32: F64.div.ge (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=div.ge) def div.ge(ge: Bool, rem: W2, q: W4, mb: W2) -> Step: F64.div.rem (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=div.rem) def div.rem(+rem: W2, q: W4, +mb: W2) -> Step: F64.div.advance (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=div.advance) def div.advance(p: Nat, st: Step, mb: W2, ma: W2) -> Step: F64.div.finish (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=div.finish) def div.finish(st: Step) -> W4 & Bool: F64.div.go (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=div.go) def div.go(k: Nat, st: Step, +mb: W2, +ma: W2) -> W4 & Bool: F64.div.q (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=div.q) def div.q(ma: W2, mb: W2) -> W4 & Bool: F64.round.sub (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=round.sub) def round.sub(sub: Bool, sign: U32, exp: U32, sh: U32, sl: U32) -> F64: F64.round.zero.lo (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=round.zero.lo) def round.zero.lo(zl: Bool, sign: U32, exp: U32, +sh: U32, sl: U32) -> F64: F64.round.zero (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=round.zero) def round.zero(zh: Bool, zl: Bool, sign: U32, exp: U32, +sh: U32, sl: U32) -> F64: F64.round.inf (https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=round.inf) def round.inf(big: Bool, sign: U32, exp: U32, +sh: U32, +sl: U32) -> F64: More: https://jend.leeeet.dev/packages/bend-kit-f64.txt?definitions_offset=100