type Run
import bend-ml-llama@0.2.1.0/main.bend as BendMlLlamaimport Base
988# the last layer's output, the layers and caches handed back, and every layer's activations
989type Run<-c: Cfg, -cap: Nat, -t: Nat> is Type:
990 Run{x: List<&2, F32>, layers: List<&1, LW<c>>, cs: List<&1, KV<cap, 1n+t>>, acts: List<&2, Act>}