clingo_sys
pub const clingo_theory_term_type_clingo_theory_term_type_function: clingo_theory_term_type = 3
=
3