clingo_sys
pub const clingo_ast_binary_operator_clingo_ast_binary_operator_minus: clingo_ast_binary_operator = 4
=
4