Constant clingo_sys::clingo_theory_term_type_e_clingo_theory_term_type_number

pub const clingo_theory_term_type_e_clingo_theory_term_type_number: clingo_theory_term_type_e = 4;

!< a number term, e.g., 42