| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/mpmem.h |
MEXPORT_HEAP void nospace(void); MEXPORT_PROVER void save_and_reset(term, void *, term *); MEXPORT_PROVER void *permalloc(unsigned n); MEXPORT_PROVER void permcopy(term t, term *ans); MEXPORT_PROVER void permfree(void *);