Lines Matching defs:t1
186 fun actual_union (s1 as (compare, t1, n1), s2 as (_, t2, n2)) =
210 case (get [t1], get [t2]) of
233 fun equal ((compare, t1, _), (_, t2, _)) =
243 case (get [t1], get [t2]) of
248 fun isSubset ((compare, t1, _), (_, t2, _)) =
262 case (get [t1], get [t2]) of
269 fun intersection (s1 as (compare, t1, n1), s2 as (_, t2, n2)) =
287 case (get [t1], get [t2]) of
294 fun difference (s1 as (compare, t1, n1), s2 as (_, t2, n2)) =
313 case (get [t1], get [t2]) of
331 val (t1, ys) = h m (d-1) xs
335 in (if d=0 then RED(y, t1, t2) else BLACK(y, t1, t2), zs) end