pub const clingo_theory_term_type_e_clingo_theory_term_type_function: clingo_theory_term_type_e = 3;
Expand description
!< a function term, e.g., f(1,2,3)
pub const clingo_theory_term_type_e_clingo_theory_term_type_function: clingo_theory_term_type_e = 3;
!< a function term, e.g., f(1,2,3)