Searched defs:enumerate (Results 1 - 13 of 13) sorted by last modified time
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 319 fun enumerate l = fst (maps (fn x => fn m => ((m, x), m + 1)) l 0); function
|
| H A D | Useful.sig | 150 val enumerate : 'a list -> (int * 'a) list value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 319 fun enumerate l = fst (maps (fn x => fn m => ((m, x), m + 1)) l 0); function
|
| H A D | Useful.sig | 150 val enumerate : 'a list -> (int * 'a) list value
|
| /seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
| H A D | Defn.sml | 25 fun enumerate l = map (fn (x,y) => (y,x)) (Lib.enumerate 0 l); function
|
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Lib.sig | 56 val enumerate : int -> 'a list -> (int * 'a) list value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Portable.sml | 206 fun enumerate i [] = [] function
|
| H A D | Portable.sig | 75 val enumerate : int -> 'a list -> (int * 'a) list value
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibUseful.sml | 188 fun enumerate n = fst o C (maps (fn x => fn m => ((m, x), m + 1))) n; function
|
| H A D | mlibUseful.sig | 67 val enumerate : int -> 'a list -> (int * 'a) list value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | Pmatch.sml | 36 fun enumerate l = map (fn (x,y) => (y,x)) (Lib.enumerate 0 l); function
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Useful.sml | 235 fun enumerate n = fst o C (maps (fn x => fn m => ((m, x), m + 1))) n; function
|
| H A D | Useful.sig | 141 val enumerate : int -> 'a list -> (int * 'a) list value
|
Completed in 122 milliseconds