libcrux_platform

Function bmi2_adx_support

Source 
pub fn bmi2_adx_support() -> bool