def load

stelliferous@0.0.2.0 · tensor_model.bend:122

import Base

122# A folder without names.txt gives an empty store; every take then fails by name.
123def load(+folder: String) -> IO(Store):
124  do IO<Store>:
125    result : Result<&1,&1,U32 & String,File> <- File.open(folder ++ "/names.txt","r")
126    opened(result,folder)