From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.0 required=5.0 tests=DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id D74D5BBAF for ; Fri, 7 Nov 2008 10:33:42 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoCAN+ZE0lIDtyfimdsb2JhbACMSwGGFX4+AQEBCgkMBw8FtTCDVg X-IronPort-AV: E=Sophos;i="4.33,563,1220220000"; d="scan'208";a="18954158" Received: from fg-out-1718.google.com ([72.14.220.159]) by mail3-smtp-sop.national.inria.fr with ESMTP; 07 Nov 2008 10:33:42 +0100 Received: by fg-out-1718.google.com with SMTP id l27so858945fgb.43 for ; Fri, 07 Nov 2008 01:33:42 -0800 (PST) Received: by 10.86.84.5 with SMTP id h5mr3781895fgb.12.1226050421808; Fri, 07 Nov 2008 01:33:41 -0800 (PST) Received: by 10.86.25.3 with HTTP; Fri, 7 Nov 2008 01:33:41 -0800 (PST) Message-ID: <7d8707de0811070133s5b4b8b36kd514eadb0be8a78f@mail.gmail.com> Date: Fri, 7 Nov 2008 10:33:41 +0100 From: "Andrej Bauer" To: caml-list@yquem.inria.fr Subject: How public is Num.Nat MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline X-Spam: no; 0.00; andrej:01 andrej:01 nat:01 nat:01 val:01 ocaml-only:01 integers:01 ocaml:01 mpfr:01 rewriting:01 ocaml:01 int:01 gmp:02 module:03 library:03 VGhlIE5hdCBtb2R1bGUgaW4gdGhlIE51bSBsaWJyYXJ5IGlzIG5vdCBkb2N1bWVudGVkIGluIHRo ZSBvZmZpY2lhbApkb2N1bWVudGF0aW9uLCBidXQgaXMgZG9jdW1lbnRlZCBpbiB0aGUgMTk5MiB0 ZWNoIHJlcG9ydCBieSBWYWzDqXJpZQpNw6luaXNzaWVyLU1vcmFpbi4gSSB3b3VsZCBpbGtlIHRv IHVzZSBPY2FtbC1vbmx5IGxpYnJhcnkgZm9yIGJpZwppbnRlZ2VycyB3aGljaCBoYXMgYml0IHNo aWZ0aW5nIG9wZXJhdGlvbnMuIEJpZ19pbnQgZG9lcyBub3QsIGJ1dCBOYXQKZG9lcy4gSXMgTmF0 IHN0YWJsZSBhbmQgInNhZmUgdG8gdXNlIiBieSBwZW9wbGUgd2hvIGFyZSBuZWl0aGVyCkZyZW5j aCwgbm9yIGF0IElOUklBLCBub3IgYXJlIHRoZXkgT2NhbWwgZGV2ZWxvcGVycz8KCkJlZm9yZSBz b21lb25lIHRlbGxzIG1lIEkgc2hvdWxkIHVzZSBHTVAgYW5kL29yIE1QRlI6IEkgYW0gYWxyZWFk eQp1c2luZyB0aGVtLCBJIGFtIGp1c3QgcmV3cml0aW5nIGEgcGllY2Ugb2YgY29kZSBzbyB0aGF0 IGl0IGNhbiBiZQpvcHRpb25hbGx5IGNvbXBpbGVkIHdpdGggcHVyZSBvY2FtbC4KCkJlc3QgcmVn YXJkcywKCkFuZHJlago=