| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/selfract.h |
void selectfractops(term t, actualop *o, int *nops); int contains_factor(term, unsigned short); int all_args_negative(term t); int contains_exponent_onehalf(term t);