Type Definition clingo_sys::clingo_atom_t [] [src]

type clingo_atom_t = u32;

Unsigned integer type used for aspif atoms.