Searched defs:For (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Demit_eval.sml366 fun For i = if i > top then () else (f i; For (i+1)) function
380 fun For i = if wordsML.word_gt i t then () else (f i; For (add1 i)) function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DImport.sig249 val For : Term.term -> Term.term value
H A DImport.sml510 val For = HolKernel.mk_monop state_transformerSyntax.for_tm value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/
H A DevalML.sml32 let fun For i = if i>top then [] else f i::For(i+1) in For base end; function
35 let fun For i = if i>top then () else (f i; For(i+1)) in For base end; function
/seL4-l4v-10.1.1/HOL4/Manual/Guide/
H A Dguide.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sml688 fun For i B = if i>top then B else For (i+1) (Array.sub(A,i)::B) function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sml304 let fun For i = if i > top then [] else f i :: For (i + 1) in For base end function
307 let fun For i = if i > top then () else (f i; For (i + 1)) in For base end function

Completed in 125 milliseconds