Searched defs:pateli (Results 1 – 1 of 1) sorted by relevance
243 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