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