Searched defs:utSetElementOf (Results 1 – 1 of 1) sorted by relevance
115 | utSetElementOf vertex visited = (visited, sequence ) function137 | utSetElementOf vertex visited = (visited, utSetSequence ) function251 utSetElementOf x (MkSet []) = False function252 utSetElementOf x (MkSet (y:ys)) = x==y || (x>y && utSetElementOf x (MkSet ys)) function