def write_bytes

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

216def write_bytes(file: File, data: Bytes.Bytes) ->
217  IO(File & Result<&1, &1, U32 & String, Unit>):
218  Bytes.Bytes{len, buf} = data
219  write.words(file, len, buf)

Uses (9)

U32
String
Pair
Result
Unit
…

Used by (0)

No other definition uses this definition.