pub(crate) fn byte_expr(cx: &mut SymCx, index: usize, expr: &SymExpr) -> SymExpr
Returns the byte extraction expression for a symbolic word.