From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 9117A5D5
	for <caml-list@inbox.ocaml.org>; Thu, 28 Nov 2019 08:13:49 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.69,252,1571695200"; 
   d="scan'208";a="413896421"
Received: from sympa.inria.fr ([193.51.193.213])
  by mail2-relais-roc.national.inria.fr with ESMTP; 28 Nov 2019 09:13:48 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 7DC8A7F38A; Thu, 28 Nov 2019 09:13:48 +0100 (CET)
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 E30447F332
	for <caml-list@sympa.inria.fr>; Thu, 28 Nov 2019 09:13:44 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.69,252,1571695200"; 
   d="scan'208";a="413896394"
Received: from dt-64014.paris.inria.fr (HELO [128.93.64.14]) ([128.93.64.14])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 28 Nov 2019 09:13:44 +0100
To: Carl Eastlund <ceastlund@janestreet.com>
Cc: caml users <caml-list@inria.fr>
References: <a025b23b-a84d-164f-7fb9-06a5ee083753@inria.fr>
 <CALyFioQiQc1LCpWA9N3p6JHESRH+7AY+0sZxC2G8o42WbW5xtg@mail.gmail.com>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <3d01c5c8-797c-188c-4d3f-fecd6cebc539@inria.fr>
Date: Thu, 28 Nov 2019 09:13:44 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.9.0
MIME-Version: 1.0
In-Reply-To: <CALyFioQiQc1LCpWA9N3p6JHESRH+7AY+0sZxC2G8o42WbW5xtg@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] zarith: how to pick a random integer?
Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 17888
Errors-to: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>

On 27/11/2019 22:51, Carl Eastlund wrote:
> See the Make_random functor in the janestreet Bigint library,

Thanks Carl, this is really helpful!

-- 
François Pottier
francois.pottier@inria.fr
http://gallium.inria.fr/~fpottier/