Type Definition clingo_sys::clingo_theory_term_type_t

type clingo_theory_term_type_t = c_int;

! Corresponding type to ::clingo_theory_term_type.