Searched defs:intersection (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DRedblackset.sig22 val intersection : 'item set * 'item set -> 'item set value
H A DRedblackset.sml269 fun intersection (s1 as (compare, t1, n1), s2 as (_, t2, n2)) = function
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DIntset.sig23 val intersection : intset * intset -> intset value
H A DIntset.sml254 fun intersection (E,_) = E function
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DBinaryset.sig25 val intersection : 'item set * 'item set -> 'item set value
H A DBinaryset.sml331 fun intersection (SET(cmpKey, t1), SET(_, t2)) = function

Completed in 104 milliseconds