~/jendhub

def read_dir_at

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:407

import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import Base

407# Fetch one directory entry by index.
408def read_dir_at(path: String, idx: Nat) -> IO(Result<&1, &1, U32 & String, String>):
409  import "./effs/read_dir.c"
410  import "./effs/read_dir.js"

Uses (6)

Used by (1)