Well, if we're picking heuristics, the fewest number of characters wouldn't
be crazy either.  Given the choice between Int.t and Int.comparable (which
are aliases for the same type), I'd prefer to see Int.t.

y

On Fri, Oct 9, 2009 at 3:33 AM, Andrej Bauer <andrej.bauer@andrej.com>wrote:

> On Fri, Oct 9, 2009 at 3:40 AM, Yaron Minsky <yminsky@gmail.com> wrote:
> > Choosing shorter names.
>
> By which you probably mean "the fewest number of dots (module
> projections)". It might be a bit annoying if the code that prints
> doesn't know what modules are open. What do the INRIA priests say?
>
> Andrej
>