Also referred to as Plaster. It is a mixture of white cement and white marble dust used as an interior finish over the gunite or shotcrete of a pool. It can be given a colour or it may be left white.