Hacl_Frodo640_crypto_ciphertextbytes

Static Hacl_Frodo640_crypto_ciphertextbytes 

Source
pub unsafe static mut Hacl_Frodo640_crypto_ciphertextbytes: u32