From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 EC889BC57 for ; Fri, 3 Dec 2010 18:02:20 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4BAM6x+EzRVdi0kGdsb2JhbACEeJYkAYgRCBYBAgkJDAcRBB6pEIloghiFBy6IVgEBAwWFQwSFF4VUiTI X-IronPort-AV: E=Sophos;i="4.59,294,1288566000"; d="scan'208";a="69136833" Received: from mail-qy0-f180.google.com ([209.85.216.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 03 Dec 2010 18:02:19 +0100 Received: by qyk29 with SMTP id 29so10180661qyk.18 for ; Fri, 03 Dec 2010 09:02:18 -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=5JS8X7OUCKOPJoIIDHBMgDX7nRhgCZ/9vhyaMx/ID/Y=; b=dV5J69Dq6CpbCFRQN2217DtiXmxoXyKtqG4Bh64FCP8Lndcc9IjzlDDwAlGbl0WYHe iJzsyXZwgDGndCA5PB2OxeFc09rC9Uarb53Rg0Rpv0blGEzJpDOFT6joWEAFLk4lSDZR PDnKy8KX+YVI3xD88APSiVVIfg28VbPS6RQaU= 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=hROFQNb6lwix3x8NWzUX1yvnffTbX1oZfXtjDrESZq+D0/Z5U5XXu/WYdqPm+YdKbs 5fSAM/ocKv/w3Ay5jalDzp24LzQiu+pPzdj29+6F3XHZrPPzWSsGfvTwmTVhp5LUWP01 JVuFCF4ZMuWYHyPH1cpeIUV3zxYQ4JLZ8o8DI= Received: by 10.229.110.8 with SMTP id l8mr1413710qcp.144.1291395737441; Fri, 03 Dec 2010 09:02:17 -0800 (PST) MIME-Version: 1.0 Sender: gabriel.scherer@gmail.com Received: by 10.229.253.135 with HTTP; Fri, 3 Dec 2010 09:01:57 -0800 (PST) In-Reply-To: References: From: gasche Date: Fri, 3 Dec 2010 18:01:57 +0100 X-Google-Sender-Auth: TYcYk4j26tN_mbdfEOs5cYil4pg Message-ID: Subject: Re: [Caml-list] Documentation for the Nat module? To: Johan Brinch Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0016367f9c1231d6cd049684805b X-Spam: no; 0.00; nat:01 johan:01 low-level:01 nat:01 ocaml:01 johan:01 low-level:01 ocaml:01 wrote:01 wrote:01 cryptokit:01 cryptokit:01 caml-list:01 modules:02 modules:02 --0016367f9c1231d6cd049684805b Content-Type: text/plain; charset=ISO-8859-1 On Fri, Dec 3, 2010 at 4:40 PM, Johan Brinch wrote: > Does anyone know of commented / documented version of the low-level Nat > signature (used in Cryptokit)? > I'm finding it a bit hard to read the usage of each function from just the > types. > You can find a documentation of the Num-related modules in "The Caml Numbers Reference Manual" http://hal.inria.fr/inria-00070027/en/ I found it through the OCaml reference manual : http://caml.inria.fr/pub/docs/manual-ocaml/manual036.html --0016367f9c1231d6cd049684805b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Dec 3, 2010 at 4:40 PM, Johan Brinch <zerrez@diku.dk> wrote:
Does anyone know of commented / documented version of the low-level Nat sig= nature (used in Cryptokit)?
I'm finding it a bit hard to read the u= sage of each function from just the types.

You can find a documentation of the Num-related modules in "= ;The Caml Numbers Reference Manual"

I found it through the OCaml reference manual :=A0http://cam= l.inria.fr/pub/docs/manual-ocaml/manual036.html
--0016367f9c1231d6cd049684805b--