libcrux_hacl

Function EverCrypt_AutoConfig2_has_aesni

Source 
pub unsafe extern "C" fn EverCrypt_AutoConfig2_has_aesni() -> bool