Searched defs:utSetSubtraction (Results 1 – 1 of 1) sorted by relevance
238 utSetSubtraction (MkSet []) (MkSet []) = (MkSet []) function239 utSetSubtraction (MkSet []) (MkSet (b:bs)) = (MkSet []) function240 utSetSubtraction (MkSet (a:as)) (MkSet []) = (MkSet (a:as)) function241 utSetSubtraction (MkSet (a:as)) (MkSet (b:bs)) function