| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/limval2.h |
MEXPORT_PROVER int contains_etonegpower(term t, term x); int get_lhopital_depth(void); void set_lhopital_depth(int); MEXPORT_PROVER int contains_in_exponent(term t, unsigned short f);