val everCrypt_AutoConfig2_has_shaext :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_aesni :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_pclmulqdq :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_avx2 :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_avx :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_bmi2 :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_adx :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_sse :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_movbe :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_rdrand :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_avx512 :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_wants_vale :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_wants_hacl :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_wants_openssl :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_wants_bcrypt :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_recall :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_init :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_avx2 :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_avx :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_bmi2 :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_adx :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_shaext :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_aesni :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_pclmulqdq :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_sse :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_movbe :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_rdrand :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_avx512 :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_vale :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_hacl :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_openssl :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_disable_bcrypt :
(unit ->
unit EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_vec128 :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.resultval everCrypt_AutoConfig2_has_vec256 :
(unit ->
bool EverCrypt_AutoConfig2_stubs.return)
EverCrypt_AutoConfig2_stubs.result