Type Definition clingo_theory_term_type
clingo_sys
type clingo_theory_term_type = u32;
Enumeration of theory term types.