/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | Stream.sml | 56 fun map f = function
|
/seL4-l4v-10.1.1/HOL4/src/0/ |
H A D | Net.sml | 227 fun map f (LEAF L) = LEAF (List.map (fn (x,y) => (x, f y)) L) function [all...] |
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/ |
H A D | Net.sml | 224 fun map f (LEAF L) = LEAF (List.map (fn (x,y) => (x, f y)) L) function [all...] |
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | FCNet.sml | 215 fun map f (LEAF L) = LEAF (List.map (fn (x,y) => (x, f y)) L) function [all...] |
/seL4-l4v-10.1.1/HOL4/src/portableML/ |
H A D | Redblackmap.sml | 189 fun map f (compare, tree, n) = function
|
H A D | Table.sml | 25 val map: (key -> 'a -> 'b) -> 'a table -> 'b table value 102 fun map Empty = Empty function 467 val map = map_table; value [all...] |
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | ElementSet.sig | 163 val map : (element -> 'a) -> set -> 'a map value
|
H A D | KeyMap.sig | 127 val map : (key * 'a -> 'b) -> 'a map -> 'b map value [all...] |
H A D | Map.sig | 117 val map : ('key * 'a -> 'b) -> ('key,'a) map -> ('key,'b) map value [all...] |
H A D | Set.sig | 145 val map : ('elt -> 'a) -> 'elt set -> ('elt,'a) map value
|
H A D | Set.sml | 30 fun map f = function
|
H A D | Stream.sml | 55 fun map f = function
|
H A D | ElementSet.sml | 44 fun map f = function
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | BoolArray.sml | 275 fun map f v = mapi (fn (_, x) => f x) v function
|
H A D | Vector.sml | 147 fun map (f: 'a->'b) (vec: 'a vector): 'b vector = function 331 fun map (f: 'a->'b) (Slice{vector:'a Vector.vector, start, length}): 'b Vector.vector = function
|
H A D | Word8Array.sml | 81 and map: (elem -> elem) -> vector -> vector = value 300 fun map f slice = Word8Vector.map f (vector slice) function
|
H A D | StringSignatures.sml | 83 val map : (char -> char) -> string -> string value
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | ElementSet.sig | 163 val map : (element -> 'a) -> set -> 'a map value
|
H A D | KeyMap.sig | 127 val map : (key * 'a -> 'b) -> 'a map -> 'b map value [all...] |
H A D | Map.sig | 117 val map : ('key * 'a -> 'b) -> ('key,'a) map -> ('key,'b) map value [all...] |
H A D | Set.sig | 145 val map : ('elt -> 'a) -> 'elt set -> ('elt,'a) map value
|
H A D | Set.sml | 30 fun map f = function
|
H A D | Stream.sml | 55 fun map f = function
|
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
H A D | ArrayVector.sml | 34 val map : (elem -> elem) -> vector -> vector value 186 val map : (elem -> elem) -> slice -> vector value [all...] |
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/ |
H A D | modelCheckLib.sml | 72 val map = Binarymap.insert (map, term, maxindex+1); value [all...] |