text: #ifndef __OBDD2DNF_H__
  #define __OBDD2DNF_H__
  
  #include "tv.h"
  
  extern int obdd2dnf(const_serializable input, serializable *output);
  
  #endif
  
  /*
   * Local variables:
   * mode: c
   * tab-width: 8
   * c-basic-offset: 4
   * End:
   * vim600: sw=4 ts=8 fdm=marker
   * vim<600: sw=4 ts=8
   */
  