a warehouse of arms, or a place where the military habiliments are kept to be ready for use.