Module replace_arith_op 

Enums

ArithKind 🔒

Functions

is_primitive_int 🔒

parse_binary_op 🔒

Extract the operands of an arithmetic expression (e.g. 1 + 2 or 1.checked_add(2))

replace_arith 🔒

replace_arith_with_checked 🔒

replace_arith_with_saturating 🔒

replace_arith_with_wrapping 🔒