def file.write

bend-kit-stream@0.3.1.0 · stream.bend:55

import Base
import bend-kit-files@0.3.1.0/files.bend as Files

55def file.write(destination: File, len: U32, words: Array<U32>, tls: Bool) ->
56  IO(File & Result<&1, &1, U32 & String, Unit>):
57  Files.write.words(destination, len, words)