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 ofelements 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.