| Current Path : /usr/home/beeson/MathXpert/ |
| Current File : /usr/home/beeson/MathXpert/dowith.h |
void dowith(term active, ltermlist *selected, actualop *o, int *nops); ltermlist *lcons( lterm *, ltermlist *); void destroy_ltermlist(ltermlist *x); int l_length(ltermlist *); int make_arg(ltermlist *, term *); int on_path(pathlist *p, unsigned short f);