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