whinstone

A trade term describing a tough fine-to-medium grained igneous rock such as basalt, dolerite etc.