pub(crate) fn max_u256_expr(left: Expr, right: Expr) -> Expr
Implements the max_u256_expr symbolic memory helper.
max_u256_expr