dlp_formatter


  class dlp_formatter : public term_formatter {
  public:
  
  dlp_formatter();
  
  char* _format(const term* t);
  };

slide: dlp_formatter