def append

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

import Base

246def append(+path: String, a: Array<U32>, +header_n: U32, +input: String, +pad_n: U32, first: Bool) -> IO(Unit):
247  do IO<Unit>:
248    r : Array<U32> & Result<&1, &1, U32 & String, Unit> <- append_raw(path, a, header_n, input, pad_n, b2u(first))
249    a2 : Array<U32> <- wr_done(path, r)
250    drop(a2)