| Current Path : /usr/home/beeson/MathXpert/ |
| Current File : /usr/home/beeson/MathXpert/lsubterm.h |
int equaltrace(term,lterm); int located_subterm(term arg, lterm t, unsigned short *legal, int nlegal, unsigned short *required, int nrequired,ltermlist **ans);