def t8_fin
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
965def t8_fin(+rot: Nat, d: TD) -> TR:
966 match d:
967 case TD{a, b, +s0, +s1, +s2, +s3}:
968 TR{a, b, t8_comb(rot, s0, s1, s2, s3)}
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
965def t8_fin(+rot: Nat, d: TD) -> TR:
966 match d:
967 case TD{a, b, +s0, +s1, +s2, +s3}:
968 TR{a, b, t8_comb(rot, s0, s1, s2, s3)}