Searched refs:polymain (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/HOL4/polyml/ |
H A D | polyimport.c | 41 return polymain(argc, argv, 0);
|
H A D | polyexports.h | 107 int polymain(int argc, char *argv[], exportDescription *exports);
|
/seL4-l4v-master/HOL4/polyml/libpolymain/ |
H A D | polystub.c | 42 return polymain(argc, argv, &poly_exports);
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | mpoly.h | 51 extern int polymain(int argc, TCHAR **argv, exportDescription *exports);
|
H A D | mpoly.cpp | 215 int polymain(int argc, TCHAR **argv, exportDescription *exports) function
|
H A D | winstartup.cpp | 200 return polymain(nArgs, lpArgs, exports);
|
Completed in 79 milliseconds