Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[Caml-list] Documentation for the Nat module?

13 views
Skip to first unread message

Johan Brinch

unread,
Dec 3, 2010, 10:40:48 AM12/3/10
to caml...@yquem.inria.fr
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

gasche

unread,
Dec 3, 2010, 12:02:26 PM12/3/10
to Johan Brinch, caml...@yquem.inria.fr
On Fri, Dec 3, 2010 at 4:40 PM, Johan Brinch <zer...@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

Johan Brinch

unread,
Dec 3, 2010, 3:20:50 PM12/3/10
to gasche, caml...@yquem.inria.fr
On Fri, Dec 3, 2010 at 18:01, gasche <gasch...@gmail.com> wrote:
> You can find a documentation of the Num-related modules in "The Caml Numbers
> Reference Manual"
> http://hal.inria.fr/inria-00070027/en/

Thanks a lot! That was exactly what I was looking for! :-)


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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

0 new messages