Searched defs:function (Results 1 - 17 of 17) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | inner_fncalls.c | 43 char function(int c) { return c + 1; } function
|
| H A D | parse_complit.c | 61 int function(void) function
|
| /seL4-l4v-10.1.1/seL4/src/ |
| H A D | assert.c | 16 _fail( const char* s, const char* file, unsigned int line, const char* function) argument
32 _assert_fail( const char* assertion, const char* file, unsigned int line, const char* function) argument
|
| /seL4-l4v-10.1.1/HOL4/src/tfl/src/test/ |
| H A D | tfl_examplesScript.sml | 3 fun function s q = Count.apply (bossLib.xDefine s) q; (* tries termination *) function
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Doc/Logics/document/ |
| H A D | HOL.tex | [all...] |
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics/document/ |
| H A D | HOL.tex | [all...] |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Term.sig | 17 type function = functionName * int type
|
| H A D | Term.sml | 19 type function = functionName * int; type
696 val function = value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Term.sig | 17 type function = functionName * int type
|
| H A D | Term.sml | 19 type function = functionName * int; type
696 val function = value
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/ |
| H A D | ZF.tex | [all...] |
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/ |
| H A D | ZF.tex | [all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | polytypicLib.sig | 14 type function = type
[all...] |
| H A D | functionEncodeLib.sml | 1644 "Theorems and function term supplied use different function constants") value
1807 val function = list_mk_comb(left,map (fn (a,b) => (mk_var(implode (base26 a),b))) value
4191 let val (function,missing) = clause_to_case thm value
[all...] |
| H A D | polytypicLib.sml | 170 type function = {const : term, definition : thm, induction : (thm * (term * (term * hol_type)) list) option} type
2465 let val function = if exists_coding_function_precise target t name value
2494 let val function = if exists_source_function_precise t name value
3082 "The term given does not match the induction theorem and function") value
3146 val function = expanded_function_def conv create_conv get_def t value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | processes.cpp | 1709 POLYUNSIGNED PolyThreadForkThread(PolyObject *threadId, PolyWord function, PolyWor argument
[all...] |
| H A D | xwindows.cpp | 578 PolyObject *function; /* pointer into Poly heap; strong */ member in struct:C_List_struct
[all...] |
Completed in 187 milliseconds