Searched defs:utSetUnion (Results 1 – 1 of 1) sorted by relevance
212 utSetUnion (MkSet []) (MkSet []) = (MkSet []) function213 utSetUnion (MkSet []) (MkSet (b:bs)) = (MkSet (b:bs)) function214 utSetUnion (MkSet (a:as)) (MkSet []) = (MkSet (a:as)) function215 utSetUnion (MkSet (a:as)) (MkSet (b:bs)) function