Searched defs:arg2 (Results 26 - 30 of 30) sorted by relevance
12
| /seL4-l4v-10.1.1/HOL4/examples/dev/ |
| H A D | compile.sml | 1697 val arg2 = rand bdy value
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | CooperMath.sml | 783 val arg2 = hd (tl args) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | TYPEIDCODE.sml | 63 val arg2 = mkLoadArgument 1 value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Foreign.sml | 3413 and arg2 = #load arg2Conv arg2Addr value
3442 and arg2 = #load arg2Conv arg2Addr value
3477 and arg2 = #load arg2Conv arg2Addr value
3516 and arg2 value
3559 and arg2 = #load arg2Conv arg2Addr value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 6882 WidgetIntBoolAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, int, Boolean), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument
6900 WidgetIntIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, int, int), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument
6918 WidgetXmstringBoolAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString, Boolean), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument
6940 WidgetXmstringIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString, int), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument
6960 WidgetXmstringlistIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString *, int, int), X_Object *arg1, ML_Cons_Cell *arg2, PolyWord arg3 ) argument
[all...] |
Completed in 210 milliseconds
12