Hacl_Frodo1344_crypto_secretkeybytes

Static Hacl_Frodo1344_crypto_secretkeybytes 

Source
pub unsafe static mut Hacl_Frodo1344_crypto_secretkeybytes: u32