Context type - opaque.

Buffer type.

Digest type - opaque.

The zero digest.

Create a new context.

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!

Sha512.update_substring ctx s ofs len updates the context with the substring of s starting at character number ofs and containing len characters.

Sha512.update_string ctx s updates the context with s.

Sha512.update_buffer ctx a updates the context with a. Runs parallel to other threads if any exist.

Finalize the context and return digest.

Return a copy of the context.

Return the digest of the given string.

Sha512.substring s ofs len returns the digest of the substring of s starting at character number ofs and containing len characters.

Return the digest of the given buffer.

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.

Return the digest of the file whose name is given.

Return the digest of the file whose name is given using fast C function.

Write a digest on the given output channel.

Read a digest from the given input channel.

Return a binary representation of the given digest.

Return a printable hexadecimal representation of the given digest.

Returns whether two hashes are equal.

Sha512.of_bin digest converts the binary representation of a digest to the internal representation of Sha512.t.

Sha512.of_hex digest converts the hexadecimal representation of a digest to the internal representation of Sha512.t.