diff options
Diffstat (limited to 'stdlib/digest.mli')
| -rw-r--r-- | stdlib/digest.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/digest.mli b/stdlib/digest.mli index dcba690f9..83d48b1e9 100644 --- a/stdlib/digest.mli +++ b/stdlib/digest.mli @@ -23,11 +23,11 @@ type t = string (* The type of digests: 16-character strings. *) val string: string -> t (* Return the digest of the given string. *) -val substring: string -> pos:int -> len:int -> t +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 -> len:int -> t = "md5_chan" +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 |