~/jendhub

def read_done

mlbend-datasets@0.1.6.0 · main.bend:226

import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets
import Base

226def read_done(pair: File & Result<&1, &1, U32 & String, String>) -> IO(Maybe<&1, String>):
227  (file, result) = pair
228  do IO<Maybe<&1, String>>:
229    File.close(file)
230    read_result(result)

Uses (12)

Used by (1)