pub type clingo_theory_sequence_type_t = c_int;
Expand description

! Corresponding type to ::clingo_theory_sequence_type_e.