Searched defs:loop (Results 26 - 50 of 81) sorted by relevance

1234

/seL4-l4v-master/HOL4/tools-poly/
H A Dsmart-configure.sml54 fun loop cnt = function
/seL4-l4v-master/HOL4/src/opentheory/reader/
H A DOpenTheoryReader.sml258 fun loop (x as {line_num,...}) = case TextIO.inputLine input of function
/seL4-l4v-master/HOL4/help/src-sml/
H A DDoc2Tex.sml24 fun loop n = let function
H A DParseDoc.sml394 fun loop acc = function
H A DHtmlsigs.sml275 let fun loop [] lineno = () function
/seL4-l4v-master/HOL4/src/AI/proof_search/
H A DpsMinimize.sml89 fun loop proof = case proof of function
/seL4-l4v-master/HOL4/src/holyhammer/
H A DholyHammer.sml94 fun loop () = function
/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtttBigSteps.sml182 fun loop acc anl_aux = function
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp[all...]
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A Drefine.sml50 let fun loop n acc = if n <= 0 then acc else loop(n-1) (#"0"::acc) function
/seL4-l4v-master/HOL4/src/portableML/
H A DRedblackset.sml118 let fun loop stack acc = function
129 let fun loop stack = get stack (fn x => (f x; loop)) () function
164 let fun loop ZERO power acc = acc function
187 let fun loop x y stack1 stack2 res = function
234 let fun loop x y stack1 stack2 = function
249 let fun loop x y stack1 stack2 = function
270 let fun loop x y stack1 stack2 res = function
295 let fun loop x y stack1 stack2 res = function
326 let fun loop k p = if p >= n then k else loop (k+1) (2*p) function
[all...]
H A DOldPP.sml370 fun loop (instr) = function
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DSHA1_ML.sml170 fun loop (i, a, b, c, d, e) = function
H A DMD5.sml43 fun loop [] = [] function
104 fun loop (i,digest) = function
/seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_parser2.sml547 fun loop (lexPair,stack,queue,_,SOME ACCEPT) = function
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dlalr.sml474 fun loop true = () function
H A Dmklrtable.sml72 fun loop (h::t) = function
280 fun loop (nil,actions) = (rev actions,ERROR) function
[all...]
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dparser2.sml529 fun loop (lexPair,stack,queue,_,SOME ACCEPT) = function
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dparser2.sml529 fun loop (lexPair,stack,queue,_,SOME ACCEPT) = function
/seL4-l4v-master/HOL4/src/prekernel/
H A DLexis.sml120 let fun loop i = (Word8Array.sub(alphanumerics,ordof(str,i)) = bone) function
134 let fun loop i = (Word8Array.sub(tyvar_ids,ordof(str,i)) = bone) function
147 let fun loop i = (Word8Array.sub(hol_symbols,ordof(str,i)) = bone) function
211 let fun loop function
[all...]
/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml101 fun loop () = function
134 fun loop () = let function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibArbnum.sml202 fun loop xn acc = function
/seL4-l4v-master/HOL4/src/parse/
H A DParse_support.sml414 fun loop ([v],E) = v E function
/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DArbnumcore.sml240 fun loop xn acc = function
/seL4-l4v-master/HOL4/examples/PSL/regexp/
H A DregexpTools.sml221 fun loop acc th = function

Completed in 239 milliseconds

1234