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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 56F2ABC57
	for <caml-list@yquem.inria.fr>; Fri,  3 Dec 2010 16:40:43 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArAAAOKd+EzRVdg0kGdsb2JhbACDUZFPjg4IFgECCQkMBxEEHqh1iSyCVIUDiQQBAQMFhFBzBIUXhVSJMg
X-IronPort-AV: E=Sophos;i="4.59,293,1288566000"; 
   d="scan'208";a="69127574"
Received: from mail-qw0-f52.google.com ([209.85.216.52])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 03 Dec 2010 16:40:42 +0100
Received: by qwe4 with SMTP id 4so4027117qwe.39
        for <caml-list@yquem.inria.fr>; Fri, 03 Dec 2010 07:40:42 -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:from:date
         :x-google-sender-auth:message-id:subject:to:content-type;
        bh=g2Gs8f6aA9BjGRqG/C9mnqDqkCO/887uvPV0bLkNHsg=;
        b=Ab1sShP3Ne0O0sh40yOI5gR+toQ2FNwFiTkQSvL7TlTJq/59YfM23JSbkIhZM3qCmT
         ZwuF+sMZE8BOFjZv68Zpl1JMS+tqm8ZIRLuieGwHFH7HRV+8ONOT6NJaRHx8mc03ywLO
         qPPLlO8PfaQ1jRFrKpgys9o70F4u7qAf9exPk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:from:date:x-google-sender-auth:message-id
         :subject:to:content-type;
        b=Ee5qrgu25ZuO4c6G10IHF2HbXCpus2/ZtibZyJJAnDsQEh2otwk3cwEQ5LWLIwAliU
         2jqRLiKR1D3xp8D/q1D2I86BlRPojAheVKz1dHJyn5hh1/+BKsSNL8Ta0VAwkpLeoyFE
         fOxC2EJUuOXBeM1wYyqLoaHB/p2b87gUovBZE=
Received: by 10.229.238.17 with SMTP id kq17mr1357493qcb.193.1291390841481;
 Fri, 03 Dec 2010 07:40:41 -0800 (PST)
MIME-Version: 1.0
Sender: zerrez@gmail.com
Received: by 10.229.44.84 with HTTP; Fri, 3 Dec 2010 07:40:21 -0800 (PST)
From: Johan Brinch <zerrez@diku.dk>
Date: Fri, 3 Dec 2010 16:40:21 +0100
X-Google-Sender-Auth: b3iYb0JF0tF8OYyh9YyFrEZpb-g
Message-ID: <AANLkTin3ktLj6m+_p8YnxwMMiwtDdVxrTKSjwRPbWOF4@mail.gmail.com>
Subject: Documentation for the Nat module?
To: caml-list@yquem.inria.fr
Content-Type: multipart/alternative; boundary=0016e64cbe0a5f7a880496835c2f
X-Spam: no; 0.00; johan:01 nat:01 low-level:01 nat:01 johan:01 low-level:01 cryptokit:01 cryptokit:01 commented:02 commented:02 diku:03 module:03 copenhagen:03 copenhagen:03 types:05 
X-Attachments: cset="UTF-8" cset="UTF-8" 

--0016e64cbe0a5f7a880496835c2f
Content-Type: text/plain; charset=UTF-8

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.

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

--0016e64cbe0a5f7a880496835c2f
Content-Type: text/html; charset=UTF-8

Does anyone know of commented / documented version of the low-level Nat signature (used in Cryptokit)?<div>I&#39;m finding it a bit hard to read the usage of each function from just the types.<br clear="all"><br>-- <br>Johan Brinch,<br>

Dept. of Computer Science,<br>University of Copenhagen<br>
</div>

--0016e64cbe0a5f7a880496835c2f--