From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7I834YD007438
	for <caml-list@sympa-roc.inria.fr>; Thu, 18 Aug 2011 10:03:04 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av0EAFPGTE7V+6tl/2dsb2JhbABBqG93gUABAQU6TwtGFCghiAW4W4VpXwSkCg
X-IronPort-AV: E=Sophos;i="4.68,244,1312149600"; 
   d="scan'208";a="105733254"
Received: from eneide.happyleptic.org ([213.251.171.101])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 18 Aug 2011 10:02:59 +0200
Received: from extranet.securactive.org ([82.234.213.170] helo=ccellier.rd.securactive.lan)
	by eneide.happyleptic.org with esmtp (Exim 4.72)
	(envelope-from <rixed@happyleptic.org>)
	id 1QtxZ5-0006y1-15
	for caml-list@inria.fr; Thu, 18 Aug 2011 10:02:59 +0200
Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.72)
	(envelope-from <rixed@happyleptic.org>)
	id 1QtxZ0-0002vy-T5
	for caml-list@inria.fr; Thu, 18 Aug 2011 10:02:54 +0200
Date: Thu, 18 Aug 2011 10:02:54 +0200
From: rixed@happyleptic.org
To: caml-list <caml-list@inria.fr>
Message-ID: <20110818080254.GA10854@ccellier.rd.securactive.lan>
References: <4E4CC071.1060900@inria.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <4E4CC071.1060900@inria.fr>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [Caml-list] [Ann] Zarith

> - polymorphic comparisons (=, <, >, etc) work correctly on Zarith's
>   big integers, provided OCaml 3.12.1 or later is used.

Is there anything special in 3.12.1 to help library authors define
specialized comparison operators ?