| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/pda.h |
int equalstructures(void *, void *, int); MEXPORT_ALGEBRA int equal_mod_order(term u, term v); MEXPORT_ALGEBRA int seminumerical2(term); MEXPORT_ALGEBRA int complexnumerical2(term);