pub const clingo_configuration_type_e_clingo_configuration_type_map: clingo_configuration_type_e = 4;
Expand description
!< the entry is a map
pub const clingo_configuration_type_e_clingo_configuration_type_map: clingo_configuration_type_e = 4;
!< the entry is a map