clingo_sys
pub const clingo_statistics_type_clingo_statistics_type_empty: clingo_statistics_type = 0
=
0