Constant clingo_sys::clingo_symbol_type_e_clingo_symbol_type_number

source · 
pub const clingo_symbol_type_e_clingo_symbol_type_number: clingo_symbol_type_e = 1;
Expand description

!< a numeric symbol, e.g., 1