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

1234

/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml609 fun loop a i = function
1346 fun loop i = i >= n orelse f1 i = f2 i andalso loop (i + 1) function
/seL4-l4v-master/HOL4/src/1/
H A DConv.sml287 fun loop thm = function
H A DDrule.sml1455 fun loop [] = [] function
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml46 val loop : syserror value
639 and loop = fromWord(getConst 18) value
/seL4-l4v-master/HOL4/src/tfl/src/
H A DDefn.sml144 fun loop th = function
424 fun loop n = let val x = (name^(Int.toString n)) function
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml1053 fun loop a i = if 16 < i then a else loop (thm i (hd a) :: a) (i + 1) function
2414 fun loop i = i >= n orelse f1 i = f2 i andalso loop (i + 1) function

Completed in 317 milliseconds

1234