pub const HMACAlgorithm: GlobalId;
This is the enum [::hax_lib_protocol::crypto::HMACAlgorithm].
::hax_lib_protocol::crypto::HMACAlgorithm