pub const clingo_theory_sequence_type_e_clingo_theory_sequence_type_tuple: clingo_theory_sequence_type_e = 0;
Expand description
!< Theory tuples “(t1,…,tn)”.
pub const clingo_theory_sequence_type_e_clingo_theory_sequence_type_tuple: clingo_theory_sequence_type_e = 0;
!< Theory tuples “(t1,…,tn)”.