def fill_at

gralha-byte-words@0.1.0.0 · words.bend:182

import Base

182def fill_at(+path: String, +file_off: U32, a: Array<U32>, +start: U32, +n: U32) -> IO(Array<U32>):
183  do IO<Array<U32>>:
184    r : Array<U32> & Result<&1, &1, U32 & String, Unit> <- fill_at_raw(path, file_off, a, start, n)
185    wr_done(path, r)