def File.read_at

Base · base.bend:327

327def File.read_at(file: File, offset: U32, max: U32) ->
328  IO(File & Result<&1, &1, U32 & String, List<&2, U32>>):
329  import "./effs/file_read.c"
330  import "./effs/file_read.js"