[−][src]Constant clingo_sys::clingo_statistics_type_clingo_statistics_type_array
pub const clingo_statistics_type_clingo_statistics_type_array: clingo_statistics_type
!< the entry is an array
pub const clingo_statistics_type_clingo_statistics_type_array: clingo_statistics_type
!< the entry is an array