Searched refs:qux (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/
H A Dheap_lift_array.c25 unsigned int *qux = foo; local
26 return qux[1];
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver422.c13 int __attribute__((const)) qux(void) { function
H A Dparse_enum.c35 enum ts20091113 {foo = -10, bar2, baz2 = -60, qux = 1, quux}; enumerator in enum:ts20091113
H A Dvariable_munge.c40 int qux(int bbb) function
/seL4-l4v-master/HOL4/src/num/theories/
H A Dselftest.sml40 \ 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 Dind_types.sml736 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