n.
1 definition — Webster’s Dictionary (1828)
An arch, or ceiling, of boards, placed over the men's heads in a mine.
98,828 entries. Headwords are matched first, then definition text.