def write.words
import bend-kit-files@0.3.1.0/files.bend as Filesimport Base
209# Writes the entire buffer or fails. Errors retain the File; writes before
210# an error are not rolled back. A len beyond the word array fails EINVAL.
211def write.words(file: File, len: U32, words: Array<U32>) ->
212 IO(File & Result<&1, &1, U32 & String, Unit>):
213 import "./effs/files.c"
214 import "./effs/files.js"