EverCrypt_StaticConfig_openssl

Static EverCrypt_StaticConfig_openssl 

Source
pub unsafe static mut EverCrypt_StaticConfig_openssl: bool