| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | polytypicLib.sig | 37 val repeat : ('a -> 'a) -> 'a -> 'a value
|
| H A D | polytypicLib.sml | 119 fun repeat f x = repeat f (f x) handle e => if isFatal e then raise e else x; function
[all...] |
| /seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
| H A D | problem-set-1-answers.lisp | 445 (defun repeat (th n) function
|
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | Stream.sig | 22 val repeat : 'a -> 'a stream value
|
| H A D | Stream.sml | 31 fun repeat x = let fun rep () = CONS (x, rep) in rep () end; function
|
| /seL4-l4v-master/HOL4/src/lite/ |
| H A D | liteLib.sig | 32 val repeat : ('a -> 'a) -> 'a -> 'a value
|
| H A D | liteLib.sml | 54 val repeat = Lib.repeat value
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibStream.sig | 15 val repeat : 'a -> 'a stream value
|
| H A D | mlibStream.sml | 21 fun repeat x = let fun rep () = CONS (x, rep) in rep () end; function
|
| /seL4-l4v-master/HOL4/src/portableML/monads/ |
| H A D | optmonad.sig | 16 val repeat : ('a, 'b) optmonad -> ('a, unit) optmonad value
|
| H A D | optmonad.sml | 49 fun repeat p env = ((p >> repeat p) ++ ok) env function
|
| H A D | seqmonad.sig | 16 val repeat : ('a, 'b) seqmonad -> ('a, unit) seqmonad value
|
| H A D | seqmonad.sml | 56 fun repeat p env = ((p >> repeat p) ++ ok) env function
|
| H A D | errormonad.sig | 18 val repeat : ('a, 'b, 'c) t -> ('a, unit, 'c) t value
|
| H A D | errormonad.sml | 49 fun repeat p env = ((p >> repeat p) ++ ok) env function
|
| /seL4-l4v-master/HOL4/tools/mllex/ |
| H A D | mllex.sml | 705 and repeat = fn (min,max,e) => let val rec rep = fn value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Stream.sig | 22 val repeat : 'a -> 'a stream value
|
| H A D | Stream.sml | 27 fun repeat x = let fun rep () = Cons (x,rep) in rep () end; function
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Stream.sig | 22 val repeat : 'a -> 'a stream value
|
| H A D | Stream.sml | 27 fun repeat x = let fun rep () = Cons (x,rep) in rep () end; function
|
| /seL4-l4v-master/HOL4/examples/formal-languages/context-free/ |
| H A D | grammarLib.sml | 43 fun repeat (m : 'a tt) s = ((m >> repeat m) ++ ok) s function
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | Portable.sig | 81 val repeat : ('a -> 'a) -> 'a -> 'a value
|
| H A D | Portable.sml | 210 fun repeat f = function
|
| /seL4-l4v-master/HOL4/src/prekernel/ |
| H A D | Lib.sig | 130 val repeat : ('a -> 'a) -> 'a -> 'a value
|