| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/periodic.h |
MEXPORT_PROVER int periodic_in(term t, term x, term *period); MEXPORT_PROVER int period_aux(term t, term x, term period,term *ans, term *next);