Searched defs:pop (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DStack.sig6 val pop : 'item stack -> 'item stack value
H A DStack.sml17 fun pop( Empty ) = raise EmptyStack function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DStack.sig6 val pop : 'item stack -> 'item stack value
H A DStack.sml17 fun pop( Empty ) = raise EmptyStack function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A DStack.sig6 val pop : 'item stack -> 'item stack value
H A DStack.sml17 fun pop( Empty ) = raise EmptyStack function
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dproblem-set-1-answers.lisp207 (defun pop (stack) (cdr stack)) function
[all...]
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairedLambda.sml56 val (pop,l) = dest_comb Rator value
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DGlobal.h174 void pop (void) { sz--, data[sz].~T(); } function in class:vec
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DOldPP.sml103 fun pop (Istack stk) = function
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sml525 local fun pop (tm as Bv i, k) = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dparse_term.sml665 fun pop (cs, p) = function
[all...]

Completed in 168 milliseconds