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