Digest passe dans stdlib.

Typo dans la doc de Stack.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 40 insertions, 0 deletions

diff --git a/stdlib/digest.mli b/stdlib/digest.mli
new file mode 100644
index 0000000000..da67f9c712
--- /dev/null
+++ b/stdlib/digest.mli
@@ -0,0 +1,40 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                         Caml Special Light                          *)
+(*                                                                     *)
+(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
+(*                                                                     *)
+(*  Copyright 1995 Institut National de Recherche en Informatique et   *)
+(*  Automatique.  Distributed only by permission.                      *)
+(*                                                                     *)
+(***********************************************************************)
+
+(* $Id *)
+
+(* Module [Digest]: MD5 message digest *)
+
+(* This module provides functions to compute 128-bit ``digests'' of
+   arbitrary-length strings or files, with a very low probability that
+   two different strings will have the same digest. The algorith used
+   is MD5. *)
+
+type t = string
+        (* The type of digests: 16-character strings. *)
+val string: string -> t
+        (* Return the digest of the given string. *)
+val substring: string -> int -> int -> t
+        (* [Digest.substring s ofs len] returns the digest of the substring
+           of [s] starting at character number [ofs] and containing [len]
+           characters. *)
+external channel: in_channel -> int -> t = "md5_chan"
+        (* [Digest.channel ic len] reads [len] characters from channel [ic]
+           and returns their digest. *)
+val file: string -> t
+        (* Return the digest of the file whose name is given. *)
+val output: out_channel -> t -> unit
+        (* Write a digest on the given output channel. *)
+val input: in_channel -> t
+        (* Read a digest from the given input channel. *)
+
+
+