[][src]Type Definition clingo_sys::clingo_statistics_type

type clingo_statistics_type = u32;

Enumeration for entries of the statistics.