def exists

bend-kit-files@0.3.1.0 · files.bend:255

import bend-kit-files@0.3.1.0/files.bend as Files
import Base

255def exists(path: String) -> IO(Bool):
256  do IO<Bool>:
257    r : Result<&1, &1, U32 & String, U32 & U32 & U32> <- stat.raw(path)
258    return Result.is_done(&1, &1, U32 & String, U32 & U32 & U32, r)

Uses (10)

Used by (0)

No other definition uses this definition.