def layers

bend-ml-llama@0.2.1.0 · main.bend:1000

import Base
import bend-ml-tensor-array@0.1.19.0/main.bend as TA

1000def layers(+keep: Bool, +c: Cfg, +d: Nat, -cap: Nat, +t: Nat, -room: {True{} == TA.leb(1n+t, cap) : Bool}, +rt: Rot, ls: List<&1, LW<c>>, cs: List<&1, KV<cap, t>>, +x: List<&2, F32>) -> Run<c, cap, t>:
1001  match ls cs:
1002    case Con{l, lt} Con{k, kt}:
1003      run(keep, c, d, cap, t, room, rt, lt, kt, Nil{}, Nil{}, Nil{}, block_k(keep, c, d, l, cap, t, k, room, rt, x))
1004    case _ _:
1005      Run{x, Nil{}, Nil{}, Nil{}}