Searched defs:sorted (Results 1 - 16 of 16) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_STATIC_LINK_AND_CASES.sml619 val sorted = List.map #1 (Misc.quickSort leq ordered) value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DFinalPolyML.sml2023 val sorted = quickSort (fn (a, _) => fn (b, _) => a <= b) profRes value
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dshrink.sml168 val sorted = Sort.sort EP value
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DListsort.sml35 fun sorted ordr [] = true function
H A DListsort.sig6 val sorted : ('a * 'a -> order) -> 'a list -> bool value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml1379 val sorted = Lib.topsort depends_on tcrel value
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DTravrules.sml75 val sorted = Listsort.sort (inv_img_cmp rel_of_preorder Term.compare) l value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DOverload.sml400 val sorted = Listsort.sort cmp inst_data value
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DCooperMath.sml333 val sorted = value
372 val sorted = value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DDatatype.sml447 val sorted = topo_sort adjs value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DTypeBasePure.sml694 val sorted = Listsort.sort (measure_cmp fst) matches value
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sml128 val sorted = Listsort.sort Int.compare positive value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sml1267 val sorted = sort3 (PolyML.objSize r1, r1) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml3620 val sorted = map (fn c => tryfind (C MATCH_IND_TERM c) (hyp thm)) proofs value
H A DfunctionEncodeLib.sml1420 val sorted = sort (fn (p1,_,_) => fn (p2,_,_) => p1 > p2) new_polys value
1646 val sorted = sort lex_less lists value
2344 val sorted = map (fn (n,_) => snd (first (curry op= n o fst) mapped)) value
/seL4-l4v-10.1.1/HOL4/developers/mlton-srcs/
H A DListsort.sml4 val sorted : ('a * 'a -> order) -> 'a list -> bool value
41 fun sorted ordr [] = true function

Completed in 185 milliseconds