Searched refs:utSetElementOf (Results 1 – 1 of 1) sorted by relevance
115 | utSetElementOf vertex visited = (visited, sequence ) function137 | utSetElementOf vertex visited = (visited, utSetSequence ) function249 utSetElementOf :: (Ord a) => a -> Set a -> Bool251 utSetElementOf x (MkSet []) = False function252 utSetElementOf x (MkSet (y:ys)) = x==y || (x>y && utSetElementOf x (MkSet ys)) function262 = utSetElementOf a (MkSet bs) && utSetSubsetOf (MkSet as) (MkSet bs)