pub const clingo_theory_sequence_type_e_clingo_theory_sequence_type_list: clingo_theory_sequence_type_e = 1;
Expand description
!< Theory lists “[t1,…,tn]”.
pub const clingo_theory_sequence_type_e_clingo_theory_sequence_type_list: clingo_theory_sequence_type_e = 1;
!< Theory lists “[t1,…,tn]”.