* Documentation for the Nat module?
@ 2010-12-03 15:40 Johan Brinch
2010-12-03 17:01 ` [Caml-list] " gasche
0 siblings, 1 reply; 3+ messages in thread
From: Johan Brinch @ 2010-12-03 15:40 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 256 bytes --]
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
[-- Attachment #2: Type: text/html, Size: 304 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Documentation for the Nat module?
2010-12-03 15:40 Documentation for the Nat module? Johan Brinch
@ 2010-12-03 17:01 ` gasche
2010-12-03 20:20 ` Johan Brinch
0 siblings, 1 reply; 3+ messages in thread
From: gasche @ 2010-12-03 17:01 UTC (permalink / raw)
To: Johan Brinch; +Cc: caml-list
[-- Attachment #1: Type: text/plain, Size: 507 bytes --]
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
[-- Attachment #2: Type: text/html, Size: 935 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Documentation for the Nat module?
2010-12-03 17:01 ` [Caml-list] " gasche
@ 2010-12-03 20:20 ` Johan Brinch
0 siblings, 0 replies; 3+ messages in thread
From: Johan Brinch @ 2010-12-03 20:20 UTC (permalink / raw)
To: gasche; +Cc: caml-list
On Fri, Dec 3, 2010 at 18:01, gasche <gasche.dylc@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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2010-12-03 20:20 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-12-03 15:40 Documentation for the Nat module? Johan Brinch
2010-12-03 17:01 ` [Caml-list] " gasche
2010-12-03 20:20 ` Johan Brinch
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).