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
> 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