I just got it! (invariant/const)

[guslay]

Janice Caron Wrote:

> On 09/04/2008, Georg Wrede <georg at nospam.org> wrote:
> 
>     int f(invariant D d) invariant pure { ... } 

Shouldn't it be

int f(invariant D d) pure { ... } 

Pure functions are a subset of invariant functions, no?