Searched refs:pateli (Results 1 – 1 of 1) sorted by relevance
242 cleli (pats, _) = pateli 0 pats243 pateli i (PatConApp _ args : pats) = if all notcon (args ++ pats) then Just i else Nothing function244 pateli i (_ : pats) = pateli (i + 1) pats function245 pateli i [] = Nothing function