Type Definition clingo_statistics_type
clingo_sys
type clingo_statistics_type = u32;
! Enumeration for entries of the statistics.