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