Module Hacl_star.AutoConfig2

module EverCrypt_AutoConfig2 : sig ... end
type feature =
| SHAEXT
| AES_NI
| PCLMULQDQ
| VEC128
| VEC256
| BMI2
| ADX
| SSE
| MOVBE
| RDRAND
val init : unit -> unit EverCrypt_AutoConfig2_stubs.return
val has_feature : feature -> bool EverCrypt_AutoConfig2_stubs.return