clingo_sys
pub const clingo_ast_binary_operator_clingo_ast_binary_operator_modulo: clingo_ast_binary_operator = 7
=
7