Make.H
include Mavryk_crypto.Hacl.Hash.DIRECT_HASH
val size : int
val digest : Stdlib.Bytes.t -> Stdlib.Bytes.t
include Mavryk_crypto.Hacl.Hash.INCREMENTAL_HASH
type state
val init : unit -> state
val update : state -> Stdlib.Bytes.t -> unit
val finish : state -> Stdlib.Bytes.t
module HMAC : sig ... end