[m-rev.] for post-commit review: group *int_least* types together

[Julien Fischer]

On Wed, 21 Feb 2018, Zoltan Somogyi wrote:

>
>
> On Tue, 20 Feb 2018 05:00:55 -0500 (EST), Julien Fischer <jfischer at opturion.com> wrote:
>> I suggest making the test for the uint_least32 case something like:
>>
>>       0 =< N,
>>       ( int.bits_per_int = 32
>>       ; int64.from_int(N) < 4294967295_i64
>>       )
>
> Would the attached diff be ok? It also consistently uses
> symmetric checks, [] instead of [), partly for style,
> and partly to avoid referring to int32_max + 1.

You forgot to attach the diff.

Julien.