pub const clingo_statistics_type_e_clingo_statistics_type_map: clingo_statistics_type_e = 3;
!< the entry is a map