Constant clingo_sys::clingo_ast_aggregate_function_e_clingo_ast_aggregate_function_max

source · 
pub const clingo_ast_aggregate_function_e_clingo_ast_aggregate_function_max: clingo_ast_aggregate_function_e = 4;
Expand description

!< Operator “-”.