include: format.h hush-3.1/grammar/ml/dlp

  include <hush/ml/format.h>
  
  

dlp_formatter

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

Hush Online Technology hush@cs.vu.nl 11/03/98