Definition, synonyms and related words
An arch or ceiling of boards placed above the workers' heads in a mine.