clingo_sys
pub const clingo_ast_binary_operator_clingo_ast_binary_operator_plus: clingo_ast_binary_operator = 3
=
3