FilesCompat.stat: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend as FilesCompat
Lines 37-41 of mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend&start_line=37&end_line=41

import Base

# Reads filesystem metadata for a path.
def stat(path: String) -> IO(Result<&1, &1, U32 & String, Info>):
  do IO<Result<&1, &1, U32 & String, Info>>:
    result : Result<&1, &1, U32 & String, U32 & U32 & U32> <- stat.raw(path)
    return stat.result(result)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend&name=Info
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend&name=stat.raw
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend&name=stat.result