pub const clingo_symbol_type_e_clingo_symbol_type_string: clingo_symbol_type_e = 4;
Expand description

!< a string symbol, e.g., "a"