libcrux_hacl

Function EverCrypt_AEAD_alg_of_state

Source 
pub unsafe extern "C" fn EverCrypt_AEAD_alg_of_state(
    s: *mut EverCrypt_AEAD_state_s,
) -> Spec_Agile_AEAD_alg
Expand description

Return the algorithm used in the AEAD state.

@param s State of the AEAD algorithm.

@return Algorithm used in the AEAD state.