def t8_pr2

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

import Base

1119def t8_pr2(+ac: Bool, +n: Nat, +m: Nat, +tk: Nat, +tku: U32, +rot: Nat, c: Array<F32>, ra: PKT, rb: PK) -> G:
1120  match ra rb:
1121    case PKT{a, t} PK{b, tb}:
1122      G{a, b, write_la(ac, t8_rpar(t, n, m, tk, tku, rot, tb), 0, c)}