Definitions

1. noun

a type of sedimentary rock, often used as a building material, particularly for walls and fireplaces

“The old cottage had a fireplace made of rough whinstone.”