vector-partition Sven Hartrumpf 17 Dec 2015 09:23 UTC

Hi all.

vector-partition:
- definition contains material which belongs to vector-every
- to be useful, the position of the first element (in the resulting vector)
  not fulfilling  pred should be returned in addition to the resulting vector itself

Sven