Noun
An arch, or ceiling, of boards, placed over the men's heads in a mine.
More about this word
Synonyms and related words
Explore this word