pub const clingo_symbol_type_e_clingo_symbol_type_number: clingo_symbol_type_e = 1;
!< a numeric symbol, e.g., 1
1