def sys.read.end

ezsys@0.1.0.0 · src/sys.bend:36

import Base

36# close the file, then answer
37def sys.read.end(
38  file: File,
39  answer: Result<&1, &1, U32 & String, String>
40) -> IO(Result<&1, &1, U32 & String, String>):
41  IO.bind(Unit, Result<&1, &1, U32 & String, String>, File.close(file),
42    _u => IO.pure(Result<&1, &1, U32 & String, String>, answer))