Module Hash.SHA512

module H : sig ... end
include module type of struct include H end
type state = Hacl_star.EverCrypt.Hash.t
val size : int
val init : unit -> Hacl_star.EverCrypt.Hash.t
val update : Hacl_star.EverCrypt.Hash.t -> Hacl_star__EverCrypt.bytes -> unit
val finish : Hacl_star.EverCrypt.Hash.t -> Hacl_star__EverCrypt.bytes
val digest : Hacl_star__EverCrypt.bytes -> Hacl_star__EverCrypt.bytes
module HMAC = H.HMAC