Searched defs:utSetIntersection (Results 1 – 1 of 1) sorted by relevance
225 utSetIntersection (MkSet []) (MkSet []) = (MkSet []) function226 utSetIntersection (MkSet []) (MkSet (b:bs)) = (MkSet []) function227 utSetIntersection (MkSet (a:as)) (MkSet []) = (MkSet []) function228 utSetIntersection (MkSet (a:as)) (MkSet (b:bs)) function