Searched defs:enumerate (Results 1 - 13 of 13) sorted by path
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Useful.sig | 141 val enumerate : int -> 'a list -> (int * 'a) list value
|
H A D | Useful.sml | 235 fun enumerate n = fst o C (maps (fn x => fn m => ((m, x), m + 1))) n; function
|
/seL4-l4v-master/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-master/HOL4/src/metis/ |
H A D | mlibUseful.sig | 67 val enumerate : int -> 'a list -> (int * 'a) list value
|
H A D | mlibUseful.sml | 188 fun enumerate n = fst o C (maps (fn x => fn m => ((m, x), m + 1))) n; function
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Useful.sig | 150 val enumerate : 'a list -> (int * 'a) list value
|
H A D | Useful.sml | 319 fun enumerate l = fst (maps (fn x => fn m => ((m, x), m + 1)) l 0); function
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Useful.sig | 150 val enumerate : 'a list -> (int * 'a) list value
|
H A D | Useful.sml | 319 fun enumerate l = fst (maps (fn x => fn m => ((m, x), m + 1)) l 0); function
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Portable.sig | 82 val enumerate : int -> 'a list -> (int * 'a) list value
|
H A D | Portable.sml | 224 fun enumerate i [] = [] function
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | Lib.sig | 58 val enumerate : int -> 'a list -> (int * 'a) list value
|
/seL4-l4v-master/HOL4/src/tfl/src/ |
H A D | Defn.sml | 23 fun enumerate l = map (fn (x,y) => (y,x)) (Lib.enumerate 0 l); function
|
Completed in 132 milliseconds