On Fri, Dec 3, 2010 at 4:40 PM, Johan Brinch <span dir="ltr">&lt;<a href="mailto:zerrez@diku.dk">zerrez@diku.dk</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

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></div></blockquote><div>
<br>
</div><div>You can find a documentation of the Num-related modules in &quot;The Caml Numbers Reference Manual&quot;</div><div><a href="http://hal.inria.fr/inria-00070027/en/">http://hal.inria.fr/inria-00070027/en/</a></div>

<div><br></div><div>I found it through the OCaml reference manual : <a href="http://caml.inria.fr/pub/docs/manual-ocaml/manual036.html">http://caml.inria.fr/pub/docs/manual-ocaml/manual036.html</a></div></div>