sml - 関数内で複数の値を割り当てる

Question

関数内で、関数内で複数の値を割り当てたい:

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

以下のようにしたいlet 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;

その一般的な構文は何ですか?

Answer 1

他の場所で複数の値を代入するのと同じ構文:

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