pub const clingo_ast_comparison_operator_e_clingo_ast_comparison_operator_greater_equal: clingo_ast_comparison_operator_e = 3;
Expand description

!< Operator “>=”.