EverCrypt_AutoConfig2_has_vec256

Function EverCrypt_AutoConfig2_has_vec256 

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