pub const clingo_theory_term_type_e_clingo_theory_term_type_list: clingo_theory_term_type_e = 1;
Expand description

!< a list term, e.g., [1,2,3]