pub const clingo_statistics_type_e_clingo_statistics_type_array: clingo_statistics_type_e = 2;
Expand description

!< the entry is an array