~/jendhub

def mp_go

bend-ml-tensor-array@0.1.19.0 · main.bend:1299

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
import Base

1299def mp_go(nb: Nat, +bi: U32, +par: Nat, +n: Nat, +m: Nat, +k32: U32, g: G) -> G:
1300  match nb g:
1301    case 0n g: g
1302    case 1n++q 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))

Uses (6)

Used by (1)