~/jendhub

def is_dir.got

bolt@1.27.0.0 · src/walk/disk.bend:49

import bolt@1.27.0.0/src/walk/disk.bend as Disk
import Base

49# the file closed, and what its first read said
50def is_dir.got(got: File & Result<&1, &1, U32 & String, List<&2, U32>>) -> IO(Bool):
51  (file, rr) = got
52  do IO<Bool>:
53    File.close(file)
54    return is_dir.code(rr)

Uses (14)

Used by (1)