[−][src]Type Definition clingo_sys::clingo_id_t

type clingo_id_t = u32;

! Unsigned integer type used in various places.