ATS中幂运算的符号是什么？
What is the symbol for the exponentiation operation in ATS?
例如，如何在 ATS 中编写 x 的 10 次方的表达式？我尝试了 x^10 和 x^^10，但都没有用。
ATS 中整数和浮点值的求幂运算符都是 **，如 implement main0 () = println! (2 ** 10) // prints 1024。
例如，如何在 ATS 中编写 x 的 10 次方的表达式？我尝试了 x^10 和 x^^10，但都没有用。
ATS 中整数和浮点值的求幂运算符都是 **，如 implement main0 () = println! (2 ** 10) // prints 1024。