def cfg_of
bend-ml-llama@0.2.1.0 · main.bend:1599
import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama
import Base
1599def cfg_of(+path: String, xs: List<&2, U32>) -> IO(Cfg):
1600 match xs:
1601 case Con{+kv, Con{+g, Con{+half, Con{+f, Con{+l, Con{+v, Con{+e, Con{+t, Nil{}}}}}}}}}:
1602 IO.pure(Cfg, Cfg{U32.to_nat(kv), U32.to_nat(g), U32.to_nat(half), U32.to_nat(f), U32.to_nat(l), U32.to_nat(v), bitcast(e), bitcast(t)})
1603 case _:
1604 IO.die(Cfg, 1, path ++ ": expected 8 numbers (kv g half f layers vocab eps_bits theta_bits); run make prep again")