fold/toString.cc

   1 #include "fold/module.ih"
   2
   3 namespace odc {
   4
   5 std::string Fold::toString() {
   6         if (d_hidden == 0) {
   7                 return std::string("Fold(right)");
   8         }
   9         return std::string("Fold(left) \"") + std::string(d_label) + std::string("\" { ") + d_hidden->toString() + std::string("  }");
  10 }
  11
  12 } // namespace odc