[][src]Type Definition clingo_sys::clingo_configuration_type

type clingo_configuration_type = u32;

Enumeration for entries of the configuration.