Constant clingo_sys::clingo_theory_sequence_type_e_clingo_theory_sequence_type_set

pub const clingo_theory_sequence_type_e_clingo_theory_sequence_type_set: clingo_theory_sequence_type_e = 2;

!< Theory sets “{t1,…,tn}”.