pub const clingo_ast_binary_operator_e_clingo_ast_binary_operator_multiplication: clingo_ast_binary_operator_e = 5;
Expand description

!< Operator “*”.