What is (a) An excavation in rock, transverse to the workings, from which material for filling is obtained. (b) A passage underground through which ore is shot called?

mill — (Mining) (a) An excavation in rock, transverse to the workings, from which material for filling is obtained. (b) A passage underground through which ore is shot. (Webster's 1913.)

Sources