| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/selectop.h |
MEXPORT_AUTOMODE void selectops(ltermlist *, actualop *, int *); void select_trigeval_op(int flag, term t, actualop *o, int *nops); void select_trig_ops(term t, actualop *o, int *nops); int select_arith_aux(term t); int test_invisiblesub(term t);