Searched refs:qux (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/ |
H A D | heap_lift_array.c | 25 unsigned int *qux = foo; local 26 return qux[1];
|
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | jiraver422.c | 13 int __attribute__((const)) qux(void) { function
|
H A D | parse_enum.c | 35 enum ts20091113 {foo = -10, bar2, baz2 = -60, qux = 1, quux}; enumerator in enum:ts20091113
|
H A D | variable_munge.c | 40 int qux(int bbb) function
|
/seL4-l4v-master/HOL4/src/num/theories/ |
H A D | selftest.sml | 40 \ foo' a b /\\ bar a c /\\ baz a c d /\\ qux f g /\\ foo' f g ==>\n\
|
/seL4-l4v-master/HOL4/src/datatype/ |
H A D | ind_types.sml | 736 val def = [(Type`:'qux`, [("F1", []), ("F2", [Type`:'a`, Type`:'qux`])])]; 930 val def = [(Type`:'qux`, [("F1", []), ("F2", [Type`:'a`, Type`:'qux`])])]; 1574 val def = [(Type`:'qux`, [("F1", []), ("##", [Type`:'qux option`])])]; 1577 let qux = mk_vartype "qux" in 1578 [(qux, [("F1", []); ("F2", [mk_type("option", [qux])])])];; *) [all...] |
Completed in 237 milliseconds