~/jendhub

def size_close

gralha-byte-words@0.1.0.0 · words.bend:204

import gralha-byte-words@0.1.0.0/words.bend as Words
import Base

204def size_close(what: String, r: File & Result<&1, &1, U32 & String, U32>) -> IO(U32):
205  (file, v) = r
206  do IO<U32>:
207    Unit <- File.close(file)
208    size_got(what, v)

Uses (11)

Used by (1)