take_while
list.take_while
Lazily take the first elements of a list for which predicate 'p' holds.
Postcondition
Inherited from Sequence.take_while
post
analysis: result ∀ p
analysis: {
n := nth result.count
!n || !(p n.or_panic)
}0.099dev (GIT hash 02118e9cbed77f3897084a4a507da3f11ac8881e)