def file_write_raw

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

import gralha-byte-words@0.1.0.0/words.bend as Words
import Base

127def file_write_raw(file: File, a: Array<U32>, +start: U32, +n: U32) -> IO(File & Array<U32> & Result<&1, &1, U32 & String, Unit>):
128  import "./effs/file_words_write.c"
129  import "./effs/file_words_write.js"

Uses (8)

Used by (1)