* Rearranges the array in ascending order, using the natural order. * @param a the array to be sorted */
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected