Usage
read(in, n)
write(out, a, n)
Signatures
read: (BinaryReader, MachineInteger) % write: (BinaryWriter, %, MachineInteger) BinaryWriter
Parameter | Type | Description |
---|---|---|
in | BinaryReader | an input stream |
out | BinaryWriter | an output stream |
n | MachineInteger | a nonnegative size |
a | % | A primitive array |
Returns
read(in, n) reads a primitive array of elements in binary format from the stream in and returns the array read, while write(out, a, n) writes the first elements of to the stream out and returns the stream after the write.