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