Sindbad~EG File Manager

MEXPORT_PROVER int get_limit_info(term *, term *, term *);
MEXPORT_PROVER void fillbinders(term);
MEXPORT_PROVER void releasebinders(void);
MEXPORT_PROVER void setlocus(term, term *, int *, term);
MEXPORT_PROVER void init_binders(void);
MEXPORT_PROVER termlist *get_binders(void);
/*________________not exported______________________*/
void addbinder(term);
int get_infinitesimal(term *, term *, term *);
int isbinder(term);
int binders_interval(term *left, term *x, term *right);