Type Definition clingo_sys::clingo_ast_csp_sum_term_t

type clingo_ast_csp_sum_term_t = clingo_ast_csp_sum_term;