pub const clingo_ast_aggregate_function_e_clingo_ast_aggregate_function_min: clingo_ast_aggregate_function_e = 3;
Expand description
!< Operator “+”.
pub const clingo_ast_aggregate_function_e_clingo_ast_aggregate_function_min: clingo_ast_aggregate_function_e = 3;
!< Operator “+”.