clingo_sys
pub const clingo_ast_binary_operator_clingo_ast_binary_operator_multiplication: clingo_ast_binary_operator = 5
=
5