~/jendhub

def listed

stelliferous@0.0.2.0 · tensor_model.bend:108

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel
import Base

108def listed(read: File & Result<&1,&1,U32 & String,String>,+folder: String) -> IO(Store):
109  (file,text) = read
110  do IO<Store>:
111    File.close(file)
112    named(text,folder)

Uses (12)

Used by (1)