The miner used a mattock to dig through the hard rock layer.

mattock 是一种工具名词，由两部分组成：头部是尖的或扁平的金属部分，用于挖掘或劈开；手柄通常是木制的。这个词特指"鹤嘴锄"，即一端是尖头、另一端是扁平的挖掘工具，常用于采矿或园艺作业。