def t8_go

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

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

208def t8_go(+ac: Bool, d: Nat, +n: Nat, +m: Nat, +tk: Nat, +tku: U32, +rot: Nat, c: Array<F32>, p: TA.PKK) -> TA.G:
209  match p:
210    case TA.PKK{a, b, ta, tb}:
211      TA.G{a, b, t8_tree(Nat.is_le(m, n), ac, d, n, m, tk, tku, rot, Array.fork(TA.T8, ta), Array.fork(TA.T8, tb), Array.fork(F32, c))}