pub type clingo_theory_term_type_t = c_int;
Expand description

! Corresponding type to ::clingo_theory_term_type_e.