~/jendhub

def bunit

bendtorch@1.3.0.0 · main.bend:2841

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

2841def bunit(+t: Nat, +w: Nat, +kvw: Nat, +g: Nat, +hd: Nat, +bi: Nat, +j: Nat, s: BL) -> BL:
2842  match s:
2843    case BL{qq, kk, vv, dd, xs}:
2844      bu1(t, w, hd, kvw, Nat.mul(bi, t), Nat.mul(Nat.mul(j, g), hd), Nat.mul(j, hd), Nat.mul(g, hd), kk, vv, dd, xs, block_out(t, Nat.mul(g, hd), w, Nat.mul(bi, t), Nat.mul(Nat.mul(j, g), hd), qq))

Uses (5)

Used by (1)