Results for : 'a list -> (('a * int) -> bool) -> 'a list