take_while
container.abstract_array.take_while
take the first elements 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)
}Arguments
0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)