Function differential_dataflow::trace::layers::advance

pub fn advance<T, F: Fn(&T) -> bool>(slice: &[T], function: F) -> usize

Reports the number of elements satisfing the predicate.

This methods relies strongly on the assumption that the predicate stays false once it becomes false, a joint property of the predicate and the slice. This allows advance to use exponential search to count the number of elements in time logarithmic in the result.