clingo_sys
pub const clingo_ast_comparison_operator_clingo_ast_comparison_operator_not_equal: clingo_ast_comparison_operator = 4
=
4