pub fn ldexp(x: impl IntoExpr, y: impl IntoExpr) -> Result<Expr>
x * 2 ^ y (C++ ldexp, prim.ldexp).
x * 2 ^ y
ldexp
prim.ldexp