hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
module EverCrypt_AutoConfig2 : sig ... end
type feature =
| SHAEXT
| AES_NI
| PCLMULQDQ
| AVX
| AVX2
| BMI2
| ADX
| SSE
| MOVBE
| RDRAND
val init : unit -> unit EverCrypt_AutoConfig2_stubs.return