[][src]Type Definition clingo_sys::clingo_statistics_t

type clingo_statistics_t = clingo_statistic;

! Handle for the solver statistics.