def read.words.at

bend-kit-files@0.3.1.0 · files.bend:182

import Base

182# read.words at byte offset hi * 2^32 + lo. The file position does not move.
183def read.words.at(file: File, hi: U32, lo: U32, max: U32) ->
184  IO(File & Result<&1, &1, U32 & String, U32 & Array<U32>>):
185  import "./effs/files.c"
186  import "./effs/files.js"