Module Hash.Make

Parameters

module S : HASH_ALG

Signature

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 : sig ... end