| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/maxsub.h |
MEXPORT_PROVER int maximal_sub(term, term *); MEXPORT_PROVER unsigned short * locate(unsigned short *buf, unsigned short *end, unsigned short c); MEXPORT_PROVER int enlarge_maxsub(term t, term u, term arg, term *ans);