pub const clingo_configuration_type_e_clingo_configuration_type_array: clingo_configuration_type_e = 2;
Expand description
!< the entry is an array
pub const clingo_configuration_type_e_clingo_configuration_type_array: clingo_configuration_type_e = 2;
!< the entry is an array