def File.write_bytes
import Base342def 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"
import Base342def 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"