def stat

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

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

import Base

250def stat(path: String) -> IO(Result<&1, &1, U32 & String, Info>):
251  do IO<Result<&1, &1, U32 & String, Info>>:
252    r : Result<&1, &1, U32 & String, U32 & U32 & U32> <- stat.raw(path)
253    return stat.fin(r)

Uses (10)

Used by (2)