| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/match.h |
MEXPORT_PROVER int match(term t, term lhs, term rhs, term *a, term *ans); MEXPORT_PROVER int unify1(term p, term u, term *a, int *flag); /* match.c */ MEXPORT_POLYVAL int matchstring(term t, term x, char *pattern, term *a); /* matchstr.c */