Searched defs:merge (Results 1 - 25 of 69) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DListsort.sml16 let fun merge [] ys = ys function
/seL4-l4v-10.1.1/HOL4/developers/mlton-srcs/
H A DListsort.sml22 let fun merge [] ys = ys function
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Duntranslate-file.lisp
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibHeap.sml21 fun merge f = function
H A DmlibTermorder.sig31 val merge : termorder -> termorder -> termorder value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DAList.sig26 val merge: ('a * 'a -> bool) -> ('b * 'b -> bool) value
H A DAList.sml79 fun merge eq_key eq_val = function
H A DTable.sml46 val merge: ('a -> 'a -> bool) -> 'a table * 'a table -> 'a table (* exn DUP*) value
415 fun merge eq = function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFinalTag-sig.sml13 val merge : tag -> tag -> tag value
H A DTag.sig14 val merge : tag -> tag -> tag value
H A DTag.sml73 fun merge (TAG(d1,o1,ax1)) (TAG(d2,o2,ax2)) = function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DHeap.sml21 fun merge cmp = function
H A DKeyMap.sig83 val merge : value
H A DMap.sig73 val merge : value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DHeap.sml21 fun merge cmp = function
H A DKeyMap.sig83 val merge : value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DAC_Sort.sml50 fun merge t = let function
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfLibrary.sml226 fun merge xs [] : (int * 'a * 'b) list = xs function
[all...]
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DTerm_coeffs.sml54 let fun merge bind1 bind2 = function
H A DNumRelNorms.sml27 fun merge t = let function
90 fun merge t = let function
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dshrink.sml75 fun merge (l as a::at,r as b::bt) = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DintSimps.sml32 fun merge t = let function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dparse_glob.sml22 fun merge (Dot(re1, re2)) re3 = merge re1 (merge re2 re3) function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DBackendIntermediateCode.sml283 val merge = ListPair.mapEq mergeTupleProps (mpl, npl) value
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dbasics.sml116 fun merge _ ([], ys) = ys function

Completed in 168 milliseconds

123