| 793 | : data_(stream), |
| 794 | upper_(upper) {} |
| 795 | void operator()(const Blank& /*i*/) { data_ << "$"; } |
| 796 | void operator()(const Derived& /*i*/) { data_ << "*"; } |
| 797 | void operator()(const int& i) { data_ << i; } |
| 798 | void operator()(const bool& i) { data_ << (i ? ".T." : ".F."); } |