| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/select2.h |
void select_limit_op(term t, actualop *o, int *nops); void select_identity_op(term t, actualop *o, int *nops); void select_integration_op(term t, actualop *o, int *nops); void select_dif_op(term t, actualop *o, int *nops);