Module EverCrypt.SHA2_224
Direct hashing with SHA-224
The digest buffer must match the digest size of SHA-224, which is 28 bytes.
type bytes= SharedDefs.CBytes.t
module Noalloc : sig ... endVersion of this function which writes its output in a buffer passed in as an argument