| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | quicksort.c | 15 unsigned long partition(unsigned int *a, unsigned long n) function
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
| H A D | INTSETSIG.sml | 30 val partition: (int -> bool) -> intSet -> intSet * intSet value
|
| H A D | IntSet.sml | 106 fun partition partFun = function
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | ListSignature.sml | 47 val partition : ('a -> bool) -> 'a list -> ('a list * 'a list) value
|
| H A D | List.sml | 108 fun partition _ [] = ([], []) function
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | utils-sig.sml | 40 and partition: (elem -> bool) -> (set -> set * set) value
|
| H A D | utils.sml | 129 val partition = fn f => fn s => value
363 fun partition F S = fold (fn (a,(Yes,No)) => function
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 99 val partition : (element -> bool) -> set -> set * set value
|
| H A D | KeyMap.sig | 135 val partition : value
|
| H A D | Map.sig | 125 val partition : value
|
| H A D | Set.sig | 89 val partition : ('elt -> bool) -> 'elt set -> 'elt set * 'elt set value
|
| H A D | Set.sml | 182 fun partition pred = function
|
| H A D | ElementSet.sml | 196 fun partition pred = function
|
| H A D | KeyMap.sml | 1262 fun partition p = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 99 val partition : (element -> bool) -> set -> set * set value
|
| H A D | KeyMap.sig | 135 val partition : value
|
| H A D | Map.sig | 125 val partition : value
|
| H A D | Set.sig | 89 val partition : ('elt -> bool) -> 'elt set -> 'elt set * 'elt set value
|
| H A D | Set.sml | 182 fun partition pred = function
|
| H A D | ElementSet.sml | 196 fun partition pred = function
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/ |
| H A D | lisp_finalScript.sml | 97 fun partition [] ys (xs1,xs2,ys1) = (rev xs1, rev xs2, rev ys1, ys) function
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | OmegaMLShadow.sml | 532 fun partition (df as (f,d), (pt, elim)) = let function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibOmega.sml | 583 fun partition (df as (f,d), (pt, elim)) = let function
|
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Lib.sig | 114 val partition : ('a -> bool) -> 'a list -> 'a list * 'a list value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
| H A D | reg_allocLib.sml | 107 fun partition p xs = filter p xs @ filter (not o p) xs function
|