[−][src]Constant clingo_sys::clingo_statistics_type_clingo_statistics_type_map
pub const clingo_statistics_type_clingo_statistics_type_map: clingo_statistics_type
the entry is a map
pub const clingo_statistics_type_clingo_statistics_type_map: clingo_statistics_type
the entry is a map