> On 2020-02-17, at 2:36 AM, Thiede, Christoph <Christoph.Thiede@student.hpi.uni-potsdam.de> wrote:
>
> You mean that "ifNone: [0]"? One could replace it with "ifNone: 0" to avoid duplication.

Please don't. This is ugly beyond any level of acceptability

tim
--
tim Rowledge; tim@rowledge.org; http://www.rowledge.org/tim
Useful random insult:- On permanent leave of absence from his senses.