Skip to main content

AEADAlgorithm

hax_rust_engine::names::hax_lib_protocol::crypto

Constant AEADAlgorithm 

Source 
pub const AEADAlgorithm: GlobalId;
Expand description

This is the enum [::hax_lib_protocol::crypto::AEADAlgorithm].