Sindbad~EG File Manager

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