/usr/lib/ocaml/sha/sha512.mli is in libsha-ocaml-dev 1.9-1+b1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 | (*
* Copyright (C) 2006-2009 Vincent Hanquez <tab@snarc.org>
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published
* by the Free Software Foundation; version 2.1 or version 3.0 only.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
*)
(** SHA512 OCaml binding *)
(** context type - opaque *)
type ctx
(** buffer type *)
type buf = (int, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t
(** digest type - opaque *)
type t
(** The zero digest *)
val zero : t
(** Create a new context *)
external init: unit -> ctx = "stub_sha512_init"
(** Sha512.unsafe_update_substring ctx s ofs len updates the context
with the substring of s starting at character number ofs and
containing len characters. Unsafe: No range checking! *)
external unsafe_update_substring: ctx -> string -> int -> int -> unit = "stub_sha512_update"
(** Sha512.update_substring ctx s ofs len updates the context with the
substring of s starting at character number ofs and containing len
characters. *)
val update_substring: ctx -> string -> int -> int -> unit
(** Sha512.update_string ctx s updates the context with s. *)
val update_string: ctx -> string -> unit
(** Sha512.update_buffer ctx a updates the context with a.
Runs parallel to other threads if any exist. *)
external update_buffer: ctx -> buf -> unit = "stub_sha512_update_bigarray"
(** Finalize the context and return digest *)
external finalize: ctx -> t = "stub_sha512_finalize"
(** Return an copy of the context *)
external copy : ctx -> ctx = "stub_sha512_copy"
(** Return the digest of the given string. *)
val string : string -> t
(** Sha512.substring s ofs len returns the digest of the substring of s starting
at character number ofs and containing len characters. *)
val substring : string -> int -> int -> t
(** Return the digest of the given buffer. *)
val buffer : buf -> t
(** If len is nonnegative, Sha512.channel ic len reads len characters from
channel ic and returns their digest, or raises End_of_file if end-of-file is
reached before len characters are read. If len is negative, Sha512.channel ic
len reads all characters from ic until end-of-file is reached and return their
digest. *)
val channel : in_channel -> int -> t
(** Return the digest of the file whose name is given. *)
val file : string -> t
(** Return the digest of the file whose name is given using fast C function *)
val file_fast : string -> t
(** Write a digest on the given output channel. *)
val output : out_channel -> t -> unit
(** Read a digest from the given input channel. *)
val input : in_channel -> t
(** return a binary representation of the given digest *)
val to_bin : t -> string
(** return a printable hexadecimal representation of the given digest *)
val to_hex : t -> string
|