Hacl.SHA3_256Direct hashing with SHA3-256
The digest buffer must match the digest size of SHA3-256, which is 32 bytes.
type bytes = SharedDefs.CBytes.tmodule Noalloc : sig ... endVersion of this function which writes its output in a buffer passed in as an argument