BALL

> letseq (BALL Core II)
> ↑ ... is defined by
> CoreAPI II