Searched refs:__x (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver344.c23 int g(struct __s *sptr, __t *__x) argument
25 return sptr->__fld + __x->__fld;
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSubsume.sml231 freeze_vars (map parse [`x + y <= 0`, `x = __x()`]);

Completed in 35 milliseconds