libcrux_hacl

Constant Spec_Agile_AEAD_CHACHA20_POLY1305

Source 
pub const Spec_Agile_AEAD_CHACHA20_POLY1305: u32 = 2;