"General obligation debt" also means obligations of this state issued to provide educational facilities for county and independent school systems and to provide public library facilities for county and independent school systems, counties, municipalities, and boards of [...]