def lin_fwd

bendtorch@1.3.0.0 · spec.bend:90

import Base
import bendtorch@1.3.0.0/main.bend as T

90# y = W·x, saving x
91def lin_fwd(+w: List<&2, List<&2, Nat>>, +x: List<&2, Nat>) -> T.Fwd<List<&2, List<&2, Nat>>, List<&2, Nat>, List<&2, Nat>>:
92  T.Fwd{w, mv(w, x), x}