Constant clingo_sys::clingo_statistics_type_clingo_statistics_type_value

pub const clingo_statistics_type_clingo_statistics_type_value: clingo_statistics_type

!< the entry is a (double) value