Type Definition clingo_id_t
clingo_sys
type clingo_id_t = u32;
Unsigned integer type used in various places.