pub const clingo_ast_binary_operator_e_clingo_ast_binary_operator_division: clingo_ast_binary_operator_e = 6;
Expand description
!< Operator “/”.
pub const clingo_ast_binary_operator_e_clingo_ast_binary_operator_division: clingo_ast_binary_operator_e = 6;
!< Operator “/”.