Type Definition clingo_statistics_t
clingo_sys
type clingo_statistics_t = clingo_statistic;
Handle for the solver statistics.