Sml 在函数中指定多个值

我想在函数中指定多个值，比如在函数中：

fun posdiv(n,l::ls)=let val m=n in posdiv1(k,m,n,l::ls) end;

我想让val。。。如下图所示：

fun posdiv(n,l::ls)=let val m=n (*and val j=greatest(l::ls) where greatest is a different function and returns a value not a list*)in posdiv1(k,m,n,l::ls) end;

---

它的一般语法是什么？

与在其他位置分配多个值的语法相同：

fun posdiv (n, l::ls) =
  let
    val m = n
    val j = greatest (l::ls)
  in
      posdiv1 (k, m, n, l::ls)
  end