Searched defs:map (Results 1 - 25 of 98) sorted by relevance

1234

/seL4-l4v-10.1.1/HOL4/tools/
H A Dhol-unicode.el[all...]
/seL4-l4v-10.1.1/HOL4/src/0/
H A DNet.sig24 val map : ('a -> 'b) -> 'a net -> 'b net value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DNet.sig24 val map : ('a -> 'b) -> 'a net -> 'b net value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibPatricia.sig29 val map : ('a -> 'b) -> 'a t -> 'b t value
H A DmlibMultiset.sig26 val map : ('a * int -> int) -> 'a mset -> 'a mset value
H A DmlibMultiset.sml104 val map = M.map; value
H A DmlibPatricia.sml128 fun map f = fn Empty => Empty function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DLVTermNet.sig21 val map : (key * 'a -> 'b) -> 'a lvtermnet -> 'b lvtermnet value
H A DTypeNet.sig20 val map : (hol_type * 'a -> 'b) -> 'a typenet -> 'b typenet value
H A DTypeNet.sml201 fun map f (net, sz) = let function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPIntMap.sig41 val map : ('a -> 'b) -> 'a t -> 'b t value
H A DRedblackmap.sig24 val map : ('key * 'a -> 'b) -> ('key,'a) dict -> ('key, 'b) dict value
[all...]
H A Dseq.sig29 val map : ('a -> 'b) -> 'a seq -> 'b seq value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DIntmap.sig23 val map : (int * 'a -> 'b) -> 'a intmap -> 'b intmap value
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DBinarymap.sig23 val map : ('key * 'a -> 'b) -> ('key,'a) dict -> ('key, 'b) dict value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DSharing.sig21 val map : ('a -> 'a) -> 'a list -> 'a list value
H A DSharing.sml41 fun map f = function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOption.sml33 val map : ('a -> 'b) -> 'a option -> 'b option value
62 fun map f (SOME v) = SOME (f v) function
H A DListPair.sml31 val map : ('a * 'b -> 'c) -> ('a list * 'b list) -> 'c list value
63 fun map f (h::t, h'::t') = f(h, h') :: map f (t, t') function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DSharing.sig21 val map : ('a -> 'a) -> 'a list -> 'a list value
H A DSharing.sml41 fun map f = function
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dbraces.py176 def map(self, fn): member in class:BracedString
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A Dord-map-sig.sml68 val map : ('a -> 'b) -> 'a map -> 'b map value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A Dord-map-sig.sml68 val map : ('a -> 'b) -> 'a map -> 'b map value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A Dord-map-sig.sml68 val map : ('a -> 'b) -> 'a map -> 'b map value
[all...]

Completed in 125 milliseconds

1234