rock sand
nounDefinition of rock sand
: the detritus of eroded or abraded rock commonly used for cores in casting
1