Type Definition clingo_sys::clingo_ast_theory_term_type

type clingo_ast_theory_term_type = u32;