clingo_sys
pub const clingo_statistics_type_clingo_statistics_type_array: clingo_statistics_type = 2
=
2