| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Stream.sml | 33 fun count n = CONS (n, fn () => count (n + 1)); function
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | armLib.sml | 231 val count = pad 8 o pad0 4 o lower o toHexString value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
| H A D | ffi.c | 423 unsigned count = (cif->nargs < 8) ? cif->nargs : 8; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | polystring.cpp | 203 Handle convert_string_list(TaskData *mdTaskData, int count, WCHAR **strings) argument
233 Handle convert_string_list(TaskData *mdTaskData, int count, char **strings) argument
|
| H A D | run_time.cpp | 280 Handle makeList(TaskData *taskData, int count, char *p, int size, void *arg, argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Color.sml | 122 val count = List.length pl value
132 val count = List.length pl value
[all...] |
| H A D | Transform.sml | 207 val count = List.length pts value
[all...] |
| H A D | Font.sml | 476 val count = size s value
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 123 val count : (element -> bool) -> set -> int value
|
| H A D | KeyMap.sig | 158 val count : (key * 'a -> bool) -> 'a map -> int value
|
| H A D | Map.sig | 148 val count : ('key * 'a -> bool) -> ('key,'a) map -> int value
|
| H A D | Set.sig | 113 val count : ('elt -> bool) -> 'elt set -> int value
|
| H A D | Set.sml | 267 fun count p = function
|
| H A D | Stream.sml | 29 fun count n = Cons (n, fn () => count (n + 1)); function
|
| H A D | ElementSet.sml | 281 fun count p = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 123 val count : (element -> bool) -> set -> int value
|
| H A D | KeyMap.sig | 158 val count : (key * 'a -> bool) -> 'a map -> int value
|
| H A D | Map.sig | 148 val count : ('key * 'a -> bool) -> ('key,'a) map -> int value
|
| H A D | Set.sig | 113 val count : ('elt -> bool) -> 'elt set -> int value
|
| H A D | Set.sml | 267 fun count p = function
|
| H A D | Stream.sml | 29 fun count n = Cons (n, fn () => count (n + 1)); function
|
| H A D | ElementSet.sml | 281 fun count p = function
|
| /seL4-l4v-10.1.1/seL4/include/ |
| H A D | util.h | 145 unsigned int count; // c accumulates the total bits set in v local
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
| H A D | emit_eval.sml | 701 val count = input_number (fn i => ~1 <= i) "Enter number of cycles: " value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/ |
| H A D | vsynth.sml | 429 let val count = !DTYPEvInst_count value
473 let val count = !ClockvInst_count value
|