/seL4-l4v-10.1.1/HOL4/developers/ |
H A D | genUseScript.sml | 23 fun push s = buf := s :: !buf function
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
H A D | problem-set-1-answers.lisp | 193 (defun push (x y) (cons x y)) function [all...] |
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | Stack.sig | 7 val push : 'item * 'item stack -> 'item stack value
|
H A D | Stack.sml | 15 fun push( x, S ) = Node( x, S ) function
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | Stack.sig | 7 val push : 'item * 'item stack -> 'item stack value
|
H A D | Stack.sml | 15 fun push( x, S ) = Node( x, S ) function
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | Stack.sig | 7 val push : 'item * 'item stack -> 'item stack value
|
H A D | Stack.sml | 15 fun push( x, S ) = Node( x, S ) function
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | save_vec.cpp | 68 Handle SaveVec::push(PolyWord valu) /* Push a PolyWord onto the save vec. */ function in class:SaveVec
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | DiskFilesHeader.sml | 20 fun push (a, item) = Binarymap.insert(a, Binarymap.numItems a, item) function
|
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Global.h | 181 void push (void) { if (sz == cap) grow(sz+1); new (&data[sz]) T() ; sz++; } function in class:vec 182 void push (const T& elem) { if (sz == cap) grow(sz+1); new (&data[sz]) T(elem); sz++; } function in class:vec
|
/seL4-l4v-10.1.1/HOL4/src/integer/ |
H A D | OmegaMath.sml | 1149 fun push tm = let function
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibCanon.sml | 189 fun push (Or (p,q)) = distrib (push p) (push q) function
|
H A D | normalForms.sml | 792 fun push c = QUANT_CONV c THENC ONE_POINT_CONV function
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
H A D | Opentheory.sml | 142 fun push (ob,st) = st_(ob::(#stack st),st) function
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | parse_term.sml | 660 fun push t (cs, p) = Some ((cs, push_pstack p t), ()) function [all...] |
H A D | term_tokens.sml | 229 fun push (s,loc) = function
|
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
H A D | parsePMATCH.sml | 123 fun push bvs = fupd_scope (fn s => bvs @ s) function
|
/seL4-l4v-10.1.1/HOL4/src/portableML/ |
H A D | OldPP.sml | 102 fun push (x,(Istack stk)) = stk := x::(!stk) function
|
H A D | Redblackmap.sml | 81 fun push LEAF stack = stack function
|
H A D | Redblackset.sml | 93 fun push LEAF stack = stack function
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | HM_SimpleBuffer.sml | 6 fun push s = buf := s :: !buf function
|