[−][src]Type Definition clingo_sys::clingo_configuration_type
type clingo_configuration_type = u32;
Enumeration for entries of the configuration.
type clingo_configuration_type = u32;
Enumeration for entries of the configuration.