def ResL

bendtorch@1.3.0.0 · spec.bend:124

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

124# x + W·x through T.ResidualOf, the code of T.Residual: Seq(Fork(Id, linear), AddL)
125def ResL() -> T.Layer<T.Two<T.Two<Unit, List<&2, List<&2, Nat>>>, Unit>, List<&2, Nat>, List<&2, Nat>, T.Two<T.Two<Unit, List<&2, Nat>>, Unit>>:
126  T.ResidualOf(~List<&2, Nat>, ~List<&2, List<&2, Nat>>, ~List<&2, Nat>, ~(x => dupv(x)), ~(a => b => vadd(a, b)), ~AddL(), ~LinL())