Type Definition clingo_symbol_type
clingo_sys
type clingo_symbol_type = u32;
Enumeration of available symbol types.