def read.sized
import cswap-bend-cli@0.1.0.0/fs.bend as Fsimport Base
68def read.sized(fr: File & Res(U32)) -> IO(Res(String)):
69 (f, r) = fr
70 read.sized2(f, r)
import cswap-bend-cli@0.1.0.0/fs.bend as Fsimport Base
68def read.sized(fr: File & Res(U32)) -> IO(Res(String)):
69 (f, r) = fr
70 read.sized2(f, r)