FFL where子句是否允许引用前一个变量?

所以,在Frogato公式语言中,我们可以有一个带有多个赋值的where子句,比如where a=yadda,b=foo

但是我不能指 a 在分配 b ?

我希望通过把它分解成几个步骤来简化, where a = ..., b = ...(refers to var a)...

注意:它似乎不适用于 where b,a 订购:

EVALUATING: [a,b] where b=a+1, a=1
ASSERTION FAILED: Unknown symbol 'a'
[a,b] where b=a+1, a=1
              ^^