Mining. ? Obs. (See quots.)
1789. J. Williams, Min. Kingd., I. 288. These open caverns are frequently met with in hard mineral veins, and they are generally called by miners lochs, or loch-holes.
1874. J. H. Collins, Metal Mining, Gloss., Loch, a cavity in a vein, a vugh. Derbyshire term.
