hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
Module Hacl_star . EverCrypt . HMAC
val is_supported_alg : SharedDefs.HashDefs.alg -> bool
val mac : SharedDefs.HashDefs.alg -> C.t -> C.t -> C.t -> unit