Searched +refs:keys +refs:are +refs:ordered (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/tools-poly/poly/
H A DBinarymap.sig4 (* Binarymap -- applicative maps as balanced ordered binary trees *)
31 with keys of type 'key and values of type 'a. They are implemented
32 as ordered balanced binary trees.
34 [mkDict ordr] returns a new, empty map whose keys have ordering
50 [listItems m] returns a list of the entries (k, v) of keys k and
/seL4-l4v-master/HOL4/examples/dev/sw/
H A Dord-map-sig.sml6 * structure over ordered monomorphic keys.
43 (* Return an ordered list of the items (and their keys) in the map.
55 * are in both domains.
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A Dord-map-sig.sml6 * structure over ordered monomorphic keys.
43 (* Return an ordered list of the items (and their keys) in the map.
55 * are in both domains.
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/
H A Dord-map-sig.sml6 * structure over ordered monomorphic keys.
43 (* Return an ordered list of the items (and their keys) in the map.
55 * are in both domains.
/seL4-l4v-master/seL4/manual/parts/
H A Dbootup.tex19 Without MCS, all threads including the initial thread are scheduled round-robin with
70 userland library) and above are filled dynamically during
73 which capabilities are stored where in its CNode, the kernel provides
126 chunk that has no data, any other types are platform or architecture specific. The
145 The capabilities in \texttt{userImageFrames} are
146 ordered such that the first capability references the first frame of the
148 The capabilities in \texttt{userImagePaging} are ordered in descending order
149 of paging structure size. Within a given paging structure size, capabilities are
150 ordered b
[all...]
/seL4-l4v-master/HOL4/developers/mlton-srcs/
H A DBinarymap.sml3 (* Binarymap -- applicative maps as balanced ordered binary trees *)
28 with keys of type 'key and values of type 'a. They are implemented
29 as ordered balanced binary trees.
31 [mkDict ordr] returns a new, empty map whose keys have ordering
47 [listItems m] returns a list of the entries (k, v) of keys k and

Completed in 72 milliseconds