pub type clingo_configuration_type_e = c_uint;
Expand description

! Enumeration for entries of the configuration.