* 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