Re: setDec and forbidden interval/decoration combinations
Vincent, Jürgen, Michel, P1788
On 2013 Nov 22, at 15:22, Michel Hack wrote:
> Vincent Lefèvre (Nov 22) suggested the following:
>> - setDec(Empty, dx) where dx is one of def, dac or com returns Empty_trv.
>> - setDec(x, com), for any unbounded x, returns Entire_dac.
>
> That's the version I prefer, as opposed to introducing NaI
> all over the place.
Jürgen (Nov 22) also preferred that. I am convinced by the arguments and have changed the text accordingly.
John Pryce