def Weights.load.eff
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1650# n float32 (little-endian, as numpy writes them) from a file, into the
1651# weight registry (answers the id) or into a fresh array
1652def Weights.load.eff(path: String, n: U32) -> IO(Result<&1, &1, U32 & String, U32>):
1653 import "./effs/weights_load.c"
1654 import "./effs/weights_load.js"