write
fun write(binaryStream: DataOutputStream, moduleNumbering: Map<String, Int>, nameNumbering: Map<String, Int>)
Write this Declaration onto the given DataOutputStream. Use the maps from module name to index and atom name to index for compression. The same maps will be provided in inverse form (as Lists of Strings) during subsequent decoding (via the Declaration constructor taking a DataInputStream and the two lists).
Parameters
binary
The stream on which to serialize this object.
module
A mapping from module names to unique non-negative integers.
name
A mapping from atom names to unique non-negative integers.