From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 8F7267EEBF
	for <caml-list@sympa.inria.fr>; Thu, 23 Jul 2015 10:30:46 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.15,529,1432591200"; 
   d="scan'208";a="171335321"
Received: from pl-59055.rocqadm.inria.fr ([128.93.59.55])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 23 Jul 2015 10:30:46 +0200
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.84)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1ZIByH-0000XK-4q
	for caml-list@inria.fr; Thu, 23 Jul 2015 10:35:17 +0200
Date: Thu, 23 Jul 2015 10:35:17 +0200
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20150723083517.GA2029@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] Comparing floats

Dear all,

What's the most efficient way to compare floats, please?
Is it the polymorphic compare function, or is there a more specialized
version of it?

I saw Float.compare mentionned on the web but that does not seem to exist
any longer?

Thanks,

Sébastien.