pub const clingo_configuration_type_e_clingo_configuration_type_value: clingo_configuration_type_e = 1;
Expand description
!< the entry is a (string) value
pub const clingo_configuration_type_e_clingo_configuration_type_value: clingo_configuration_type_e = 1;
!< the entry is a (string) value