hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
Module Hacl_star . EverCrypt . Hash
type t
val update : t -> C.t -> unit
val finish : t -> C.t -> unit
val hash : SharedDefs.HashDefs.alg -> C.t -> C.t -> unit