[−][src]Constant clingo_sys::clingo_theory_term_type_clingo_theory_term_type_number
pub const clingo_theory_term_type_clingo_theory_term_type_number: clingo_theory_term_type
!< a number term, e.g., 42