noun

a mixture of cement, sand, and water applied through a pressure hose, producing a dense hard layer of concrete used in building for lining tunnels and structural repairs.