[−][src]Constant clingo_sys::clingo_symbol_type_clingo_symbol_type_string
pub const clingo_symbol_type_clingo_symbol_type_string: clingo_symbol_type
a string symbol, e.g., "a"
pub const clingo_symbol_type_clingo_symbol_type_string: clingo_symbol_type
a string symbol, e.g., "a"