def BR.then

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

import Base

912# continues with the fields of a layer's result (a computed value cannot be matched; a loop over positions
913# recurses inside k)
914def BR.then(-R: Type, -c: Cfg, -cap: Nat, -t: Nat, b: BR<c, cap, t>, k: List<&2, F32> -> KV<cap, 1n+t> -> LW<c> -> Act -> R) -> R:
915  match b:
916    case BR{y, kv, lw, act}:
917      k(y, kv, lw, act)