clingo_sys
pub const clingo_ast_aggregate_function_clingo_ast_aggregate_function_max: clingo_ast_aggregate_function = 4
=
4