[−][src]Type Definition clingo_sys::clingo_theory_term_type

type clingo_theory_term_type = u32;

! Enumeration of theory term types.