Searched defs:union (Results 1 - 25 of 77) sorted by relevance

1234

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DSet.sig14 val union : ''a list * ''a list -> ''a list value
H A DSet.sml22 fun union ([], s) = s function
/seL4-l4v-10.1.1/HOL4/src/0/
H A DNet.sig23 val union : 'a net -> 'a net -> 'a net value
H A DNet.sml223 fun union net1 net2 = rev_itlist insert (listItems0 net1) net2; function
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DNet.sig23 val union : 'a net -> 'a net -> 'a net value
H A DNet.sml220 fun union net1 net2 = rev_itlist insert (listItems0 net1) net2; function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DCharSet.sig13 val union : CharSet * CharSet -> CharSet value
H A DCharSet.sml53 fun union(cs1, cs2) = let function
H A DFCNet.sml211 fun union net1 net2 = rev_itlist insert (listItems0 net1) net2; function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DINTSETSIG.sml25 val union: intSet * intSet -> intSet value
H A DIntSet.sml98 fun union(IntSet setA, IntSet setB) = function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMultiset.sig14 val union : 'a mset -> 'a mset -> 'a mset value
H A DmlibMultiset.sml42 in fun union a b = if M.numItems a < M.numItems b then un b a else un a b; function
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dsets.lisp[all...]
H A Dltl-project.lisp
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DRedblackset.sig21 val union : 'item set * 'item set -> 'item set value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DIntset.sig22 val union : intset * intset -> intset value
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dlook.sml31 val union = TermSet.union value
H A Dutils-sig.sml47 and union: set * set -> set value
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DBinaryset.sig24 val union : 'item set * 'item set -> 'item set value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DSubst.sig75 val union : subst -> subst -> subst (* raises Error *) value
H A DSubst.sml128 fun union (s1 as Subst m1) (s2 as Subst m2) = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DSubst.sig75 val union : subst -> subst -> subst (* raises Error *) value
H A DSubst.sml128 fun union (s1 as Subst m1) (s2 as Subst m2) = function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DMap.sig35 val union : value

Completed in 116 milliseconds

1234