def File.write_bytes

Base · base.bend:342

import Base
342def File.write_bytes(file: File, data: List<&2, U32>) ->
343  IO(File & Result<&1, &1, U32 & String, Unit>):
344  import "./effs/file_write.c"
345  import "./effs/file_write.js"

Uses (8)

Used by (3)