Module Hacl_star__Hacl.SHA1
Direct hashing with SHA-1
This function should not be used for cryptographic applications!
The digest
buffer must match the digest size of SHA-1, which is 20 bytes.
type bytes
= Hacl_star.SharedDefs.CBytes.t
module Noalloc : sig ... end
Version of this function which writes its output in a buffer passed in as an argument