Astel

Webster's Dictionary of the English Language

·noun An arch, or ceiling, of boards, placed over the men's heads in a mine.