ATS中取幂运算的符号是什么？

Question

例如，如何在ATS中为x的10次幂写一个表达式？我尝试了x ^ 10和x ^^ 10，但都没有用。

Answer 1

ATS中的整数和浮点值的取幂运算符为**，与implement main0 () = println! (2 ** 10) // prints 1024中一样。