inline void writeBool(std::ostream& ostrm,
Bool arg)
{
BinarySerialization::write(ostrm, BINSIG_BOOL);
arg.writeObject(ostrm);
}
inline void writeBool(std::ostream& ostrm,
Bool arg)
{
BinarySerialization::write(ostrm, BINSIG_BOOL);
arg.writeObject(ostrm);
}