From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <zerrez@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 362C3BC57
	for <caml-list@yquem.inria.fr>; Fri,  3 Dec 2010 21:20:46 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoIAADjg+EzRVdg0kGdsb2JhbACDUZ9hCBUBAQIJCQwHEQQeqSuJLIJUhQSJBAEBAwWBHIM0cwSFF4VUhgSDLg
X-IronPort-AV: E=Sophos;i="4.59,294,1288566000"; 
   d="scan'208";a="90783618"
Received: from mail-qw0-f52.google.com ([209.85.216.52])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Dec 2010 21:20:45 +0100
Received: by qwe4 with SMTP id 4so4288587qwe.39
        for <caml-list@yquem.inria.fr>; Fri, 03 Dec 2010 12:20:45 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:mime-version:sender:received
         :in-reply-to:references:from:date:x-google-sender-auth:message-id
         :subject:to:cc:content-type;
        bh=GJrDIijzeJUXhFUoA3rC9IJzMbSVcqWiY8HgLrQiTRQ=;
        b=IpU93YqtpBx5s7vQe6ckP25iOs+O8m6newEepxY/gHENkiotjPvmStVAGl/TotcX++
         L3u+liir8fDYSkIlDNZyJbJ6O6DxVTIT2WS4h7efw7rUW+vWn58AHb/d8qWxr6lPyL4z
         kYYDylqifWZcYSABNVo/NMnQb9KSFVIgO7fTE=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type;
        b=QbxeD/FH6Ixw3baYs7CMQai7I04c1MUGf5Af/6AwTzAGGa3dUtPsn5rAHn5FQI/fvX
         HhGrW8hO39KSBmXhtzUspihBnzy/WVLUrSSaCxNaxmCzxbgK/1PjCnU8L4sorBF1vbj7
         RROPr3RoroFjvgocVCl7qxKJ+JYXUPO/ajJHU=
Received: by 10.229.84.147 with SMTP id j19mr1617392qcl.155.1291407644313;
 Fri, 03 Dec 2010 12:20:44 -0800 (PST)
MIME-Version: 1.0
Sender: zerrez@gmail.com
Received: by 10.229.44.84 with HTTP; Fri, 3 Dec 2010 12:20:23 -0800 (PST)
In-Reply-To: <AANLkTi=AjHez5XyDNX94jPOpuYnHeeUhc5Ne3FODFu89@mail.gmail.com>
References: <AANLkTin3ktLj6m+_p8YnxwMMiwtDdVxrTKSjwRPbWOF4@mail.gmail.com> <AANLkTi=AjHez5XyDNX94jPOpuYnHeeUhc5Ne3FODFu89@mail.gmail.com>
From: Johan Brinch <zerrez@diku.dk>
Date: Fri, 3 Dec 2010 21:20:23 +0100
X-Google-Sender-Auth: -BDtamz1P548JMTq6iuQ5k_AB8s
Message-ID: <AANLkTin8_fHT8-6rbOZ08U=fi5Wptb9g+OVVccou+SXp@mail.gmail.com>
Subject: Re: [Caml-list] Documentation for the Nat module?
To: gasche <gasche.dylc@gmail.com>
Cc: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=UTF-8
X-Spam: no; 0.00; johan:01 nat:01 johan:01 wrote:01 caml-list:01 modules:02 caml:02 diku:03 module:03 copenhagen:03 fri:05 dec:05 manual:06 inria:06 university:10 

On Fri, Dec 3, 2010 at 18:01, gasche <gasche.dylc@gmail.com> wrote:
> You can find a documentation of the Num-related modules in "The Caml Numbers
> Reference Manual"
> http://hal.inria.fr/inria-00070027/en/

Thanks a lot! That was exactly what I was looking for! :-)


-- 
Johan Brinch,
Dept. of Computer Science,
University of Copenhagen