function - 标准元语言： hd 和 tl 是先评估右还是左？

Question

在标准元语言中，如果我的函数包含对hdandtl函数的多次连续调用，它们是从右到左执行还是从左到右执行？

例子：

- fun secondChar s = tl hd s;
val secondChar = fn : string -> char

这个函数会返回等价的tl ( hd s)orhd (tl s)吗？