Searched defs:locals (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dproblem-set-1-answers.lisp232 (defun locals (s) (nth 1 s)) function
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_REMOVE_REDUNDANT.sml43 val locals = Array.array(localCount, []) value
/seL4-l4v-master/HOL4/src/tfl/src/
H A DInduction.sml341 val locals = diff (free_vars_lr ihyp) (P::globals) value
/seL4-l4v-master/HOL4/polyml/basis/
H A DFinalPolyML.sml1925 and locals() = value

Completed in 217 milliseconds