Sindbad~EG File Manager

int nextline(actualop, term, term, term, term, term *);
int specialop(term arg, actualop code);
void update_assumptions(term old, term new, term *next);
term strip_multiplicities(term);
void reset_maxscope(void);
void set_maxscope(term);
term get_maxscope(void);
int inconsistent(term);
term push_multiplicities(term);
int pathsub(unsigned short *path, term u, term t, term *next);