clingo_sys
pub const clingo_ast_aggregate_function_clingo_ast_aggregate_function_sum: clingo_ast_aggregate_function = 1
=
1