def layers

bend-ml-llama@0.2.0.0 · main.bend:998

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

998def 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>:
999  match ls cs:
1000    case Con{l, lt} Con{k, kt}:
1001      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))
1002    case _ _:
1003      Run{x, Nil{}, Nil{}, Nil{}}