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.
/var/www/debian/nest/nest-simulator-2.20.0/sli/slidata.cc