奇怪的boo语言语法

我在Boo语言指南中遇到了一个奇怪的语法:

setter = { value | a = value }

什么是| 运营商意味着

Boo的文档似乎在这方面缺乏 - 似乎是这样

setter = { value | a = value }

是简写

setter = def(value):
    a = value