Neither Miami-Dade County nor [its library system] may prohibit open or concealed carry ... from county attorneys laying out ...