Searched defs:rev (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/parse-tests/
H A Dmutual_recursion2.c23 unsigned rev(unsigned x, unsigned b) { function
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dlist_rev.c19 struct node *rev = NULL; local
H A Dlist.c43 struct node *rev = 0; local
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DPrecAnalysis.sml64 val rev = List.rev value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DListSignature.sml40 val rev : 'a list -> 'a list value
H A DList.sml81 fun rev l = revAppend(l, []) function
154 val rev : 'a list -> 'a list = List.rev value
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dproblem-set-1-answers.lisp422 (defun rev (x) function
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dgraph.sml

Completed in 66 milliseconds