shrink - Reduce the capacity of an array or string to its minimum.
array shrink -> array bool
Shrink reduces the capacity of an array or string to its minimum.
The boolean return value indicates whether a re-sizing of the array was done.
/builddir/build/BUILD/nest-simulator-3.3/nest-simulator-3.3/sli/slidata.cc