ST4迭代列表與索引

Question

所以我有一個迭代，像這樣的列表：

body(foo) ::= "<foo:{it|<\n><\n><bar(it)>}>" 

bar(x) ::= "[<x.key>:<x.value>]" 

我想使用索引。

bar(x) ::= "[<i0>:<x.key>:x.value>]" 

我看到有一個<i>和<i0>指數的道理，但我不知道如何使用它，或者它可以用來做我想做的事情。

Answer 1

好了，關鍵是要通過<i>或者如果你有一個功能<i0>，但我是隱含提供一個迭代裏面：

body(foo) ::= "<foo:{it|<\n><\n><bar(i0,it)>}>" 

bar(i,x) ::= "[<i>:<x.key>:<x.value>]"