def eight_read_1

bendtorch-core@0.1.0.0 · src/tensor/matmul.bend:532

import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul

import Base

532def eight_read_1(pair: Array<F32> & F32, +o1: Nat, +o2: Nat, +o3: Nat, +o4: Nat, +o5: Nat, +o6: Nat, +o7: Nat) -> Array<F32> & Eight:
533  match pair:
534    case Tuple{a, +x0}:
535      eight_read_2(x0, Array.get(F32, a, U32.from_nat(o1)), o2, o3, o4, o5, o6, o7)

Uses (9)

Used by (2)