When shotcrete/gunite is applied, some of the particles bounce off and land elsewhere. This is called rebound, and is waste material, but some (too many) pool builders scoop it up and use it to form the tops/corners of steps, benches, spa walls, etc.
And I agree with Brian, looks like they...