Searched refs:arglist (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | pyobjc-tc.c | 39 ffi_type* arglist[6]; local 74 arglist[0] = &ffi_type_sint; 75 arglist[1] = &ffi_type_pointer; 76 arglist[2] = &point_type; 77 arglist[3] = &rect_type; 78 arglist[4] = &ffi_type_sint; 79 arglist[5] = NULL; 82 5, &ffi_type_sint, arglist);
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | DiskFilesHeader.sml | 26 | ptop (opnum, arglist) => let 28 val args = map (fn n => acc ! n) arglist
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | internal_functions.sml | 152 fun patsubst (from,to,arglist) = let 158 spacify (map mapthis (tokenize arglist))
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
H A D | BaseCodeTree.sml | 223 fun prettyBuiltin(opers, arglist) = 230 printList("", arglist, ","),
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | texinfo.tex | 7361 \getargs{#1}% now \macname is the macname and \argl the arglist
|
Completed in 107 milliseconds