[−][src]Constant clingo_sys::clingo_symbol_type_clingo_symbol_type_number
pub const clingo_symbol_type_clingo_symbol_type_number: clingo_symbol_type
a numeric symbol, e.g., 1
pub const clingo_symbol_type_clingo_symbol_type_number: clingo_symbol_type
a numeric symbol, e.g., 1