(n.) An arch, or ceiling, of boards, placed over the men's heads in a mine.