hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
val hash_alg : SharedDefs.HashDefs.alg option
val hash : C.buf -> Unsigned.uint32 -> C.buf -> unit