Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/tools.h

/* function prototypes of often-used functions */

MEXPORT_HEAP void nospace(void);  /* top.c */
MEXPORT_MSTRING int mstring(term,char *);
MEXPORT_PROVER int invert_ineq(term,term,term,term *, unsigned short *);  /* invineq.c, solves some one-to-one inequalities */

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists