~/jendhub

def load_layers

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

import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama
import Base

1686def load_layers(k: Nat, +c: Cfg, +dir: String, +st: List<&2, U32>, +d: Nat, +i: Nat, acc: List<&1, LW<c>>) -> IO(List<&1, LW<c>>):
1687  match k:
1688    case 0n:
1689      IO.pure(List<&1, LW<c>>, List.reverse(&1, LW<c>, acc))
1690    case 1n+p:
1691      do IO<List<&1, LW<c>>>:
1692        l : LW<c> <- load_lw_st(c, dir, st, i, d)
1693        load_layers(p, c, dir, st, d, 1n+i, l <> acc)

Uses (11)

Used by (1)