<shachaf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.

#ifndef DEPARSE_H_
#define DEPARSE_H_

#include "text.h"

void deparse(const struct text *);

#endif /* DEPARSE_H_ */