Type Definition clingo_sys::clingo_id_t
[−]
[src]
type clingo_id_t = u32;
Unsigned integer type used in various places.
type clingo_id_t = u32;
Unsigned integer type used in various places.