def file_size

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

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

import Base

441# Read-only byte size for Bend-side accounting (no shell wc needed).
442def file_size(path: String) -> IO(Result<&1, &1, U32 & String, Nat>):
443  import "./effs/file_size.c"
444  import "./effs/file_size.js"

Uses (6)

Used by (15)