Sindbad~EG File Manager

/*_____________________________________________________________________*/
typedef struct
        { term left;
          term right;
          int line:13;     /* line number at which the defn was made */
          int permanent:1;  /* don't unwind at end of automode solution */
          int visible:1;   /* 0 for 'invisible' definitions */
          int reverse:1;   /* nonzero for 'reverse' definitions x = f(u) */
          int oldeigen;    /* old value of eigenvariable */
        } defn;

/*______________________________________________________________________*/
#define MAXDEPENDS 32

#define UNIVERSAL 0
#define EXISTENTIAL 1
#define BOUND 2
#define HALFBOUND 3    /* indef. integration variables or x in diff(u,x)  */

/*___________________________________________________*/
MEXPORT_PROVER void assume(term);
MEXPORT_PROVER void discharge(int);
MEXPORT_PROVER int undo_assumptions(void);
term var(int i);  /* match.c */
int check_syntax(term);
int too_simple(term t, term u, term arg);