01 n. An arch, or ceiling, of boards, placed over the men's heads in a mine.
-
1.
An arch, or ceiling, of boards, placed over the men's heads in a mine.(Mining)
Entry
1 sense
Webster, 1913