whinstone
noun
°(quarrying industry) Any hard dark-coloured rock.