Constant clingo_sys::clingo_theory_term_type_clingo_theory_term_type_function

pub const clingo_theory_term_type_clingo_theory_term_type_function: clingo_theory_term_type

!< a function term, e.g., f(1,2,3)