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