10.04.230 Public building.  
   "Public building" means a building used by the municipality, the county, any park district, school district, the state, or the United States government.
(Prior code § 10.101 (part)).