[Caml-list] Predefined OrderedType module for plain int?

[Caml-list] Predefined OrderedType module for plain int?

[Soegtrop, Michael]

[-- Attachment #1: Type: text/plain, Size: 722 bytes --]

Dear OCaml users,

many standard library modules fulfill the OrderedType signature, like Int32 or String, so that they can be readily used e.g. to create Sets or Maps. I wonder if there is a predefined ordered type module for plain int? Of cause it is just 2 lines to create one, but if there is a predefined one, it would be less verbose and more readable to use this.

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[-- Attachment #2: Type: text/html, Size: 2611 bytes --]

Re: [Caml-list] Predefined OrderedType module for plain int?

[Jeremy Yallop]

On 19 May 2016 at 11:18, Soegtrop, Michael <michael.soegtrop@intel.com> wrote:
> I wonder if there is a predefined ordered type module for plain int?

There isn't at present, but I think it would be a useful addition.  An
Int module would also be a convenient place for various other
functions, such as an equality function specialized to integers.