def File.write

Base · base.bend:337

337def File.write(file: File, data: String) ->
338  IO(File & Result<&1, &1, U32 & String, Unit>):
339  import "./effs/file_write.c"
340  import "./effs/file_write.js"