def finished

stelliferous@0.0.2.0 · tensor_file.bend:340

import Base

340def finished(file: File,complete: Bool) -> IO(Bool):
341  do IO<Bool>:
342    File.close(file)
343    IO.pure(Bool,complete)