[−][src]Constant clingo_sys::clingo_ast_aggregate_function_clingo_ast_aggregate_function_sum
pub const clingo_ast_aggregate_function_clingo_ast_aggregate_function_sum: clingo_ast_aggregate_function