libcrux_
hacl
0.0.2-pre.2
libcrux_hacl
Constant
Spec_Agile_AEAD_AES256_CCM
Copy item path
Source
pub const Spec_Agile_AEAD_AES256_CCM:
u32
= 4;