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 Dpyobjc-tc.c39 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 DDiskFilesHeader.sml26 | ptop (opnum, arglist) => let
28 val args = map (fn n => acc ! n) arglist
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dinternal_functions.sml152 fun patsubst (from,to,arglist) = let
158 spacify (map mapthis (tokenize arglist))
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DBaseCodeTree.sml223 fun prettyBuiltin(opers, arglist) =
230 printList("", arglist, ","),
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dtexinfo.tex7361 \getargs{#1}% now \macname is the macname and \argl the arglist

Completed in 107 milliseconds