~/jendhub

def mp_go

bend-ml-tensor-fork@0.1.6.0 · main.bend:295

import bend-ml-tensor-fork@0.1.6.0/main.bend as BendMlTensorFork
import Base
import bend-ml-tensor-array@0.1.19.0/main.bend as TA

295def mp_go(nb: Nat, +bi: U32, +par: Nat, +n: Nat, +m: Nat, +k32: U32, g: TA.G) -> TA.G:
296  match nb g:
297    case 0n g: g
298    case 1n++q TA.G{a, b, c}: mp_go(q, (bi + 1 : U32), par, n, m, k32, mp_step(U32.is_lt(0, bi), par, n, m, k32, bi, a, b, c))
299
300@unsafe

Uses (6)

Used by (1)