hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
Module Hacl_star . EverCrypt . HKDF
val expand : SharedDefs.HashDefs.alg -> C.t -> C.t -> C.t -> unit
val extract : SharedDefs.HashDefs.alg -> C.t -> C.t -> C.t -> unit