hacl_sys

Function EverCrypt_AutoConfig2_disable_shaext

Source
pub unsafe extern "C" fn EverCrypt_AutoConfig2_disable_shaext()